Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Description Techniques and Protocol Specification, Testing and Verification

Name: Formal Description Techniques and Protocol Specification, Testing and Verification
Brand: Springer, Berlin
SKU: 02175355
Price: 4707 CZK
Availability: InStock
Author: Stan Budkowski
ISBN: 9781475752625

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

Stan Budkowski

Ana Cavalli

Elie Najm

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02175355

Nakladatelství Springer, Berlin, březen 2013

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal... Celý popis

Libristo kód: 02175355

471 b

4 707 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Lebensträume verwirklichen Susanne Marx

Brožovaná

167 Kč

Projekt Spaceship Christian Zschoch

Brožovaná

248 Kč

Lehrbuch der Softwaretechnik Helmut Balzert

Pevná

1 616 Kč

Raskolnikoff Heinrich Sutermeister

Brožovaná

229 Kč

Das Hausrecht und die Berechtigung zu seiner Ausübung. Wilbert Engeln

Brožovaná

1 295 Kč

Coffret Les Anges de l'Abondance Doreen Virtue

Pevná

720 Kč

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.