LIBRISTO
LIBROAMANTO
obowiązkowe
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 Poczta Polska 18.99 Paczkomat 13.99 InPost 12.99 Punkt DPD 13.99

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE XI/PSTV XVIII 98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing

Język AngielskiAngielski
Książka Miękka
Książka Formal Description Techniques and Protocol Specification, Testing and Verification Stan Budkowski
Kod Libristo: 02175355
Wydawnictwo Springer, Berlin, marzec 2013
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal... Cały opis
? points 498 b
871.89
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru


Klienci kupili także


Lebensträume verwirklichen Susanne Marx / Książka Miękka
common.buy 31.00
Projekt Spaceship Christian Zschoch / Książka Miękka
common.buy 45.86
Lehrbuch der Softwaretechnik Helmut Balzert / Książka Twarda
common.buy 299.79
Raskolnikoff Heinrich Sutermeister / Książka Miękka
common.buy 40.14
Coffret Les Anges de l'Abondance Doreen Virtue / Książka Twarda
common.buy 126.15

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. §Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. §Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować


Reason Why ... Robert Kemp Philip / Książka Miękka
common.buy 118.22
TOP
Upon a White Horse Peter Ross / Książka Twarda
common.buy 98.95
We'll Meet Again Anton Du Beke / Książka Miękka
common.buy 41.34
Hydrological Drought Lena Tallaksen / Książka Miękka
common.buy 797.61
Digital Witness Sam Dubberley / Książka Twarda
common.buy 764.69
How To Get Famous Fast Ann Atkin / Książka Miękka
common.buy 43.25
Transpacific Community Richard Jean So / Książka Twarda
common.buy 318.36
Zapowiedź
Accidental Species Henry Gee / Książka Twarda
common.buy 141.71
Just So Stories Rudyard Kipling / Książka Twarda
common.buy 82.89
Criminology Emma Hale / Książka Miękka
common.buy 281.72
Tenth Planet: Oblivion Dean Wesley Smith / Książka Miękka
common.buy 69.34

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?