Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

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: 1134.79 RON
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

Limba

engleză

Carte Carte broșată

Codul Libristo: 02175355

Editura Springer, Berlin, martie 2013

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal... Descrierea completă

Codul Libristo: 02175355

525 b

1 134.79 lei

În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Lebensträume verwirklichen Susanne Marx

Carte broșată

40.71 lei

Projekt Spaceship Christian Zschoch

Carte broșată

59.51 lei

Lehrbuch der Softwaretechnik Helmut Balzert

Copertă tare

390.65 lei

Raskolnikoff Heinrich Sutermeister

Carte broșată

49.54 lei

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

Carte broșată

280.13 lei

Coffret Les Anges de l'Abondance Doreen Virtue

Copertă tare

155.69 lei

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.