Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve - Ifip Tc6 Wg6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verification - Kirjat - Springer - 9780792379683 - lauantai 30. syyskuuta 2000
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve 2000 edition

Ifip Tc6 Wg6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verification

Hinta
DKK 1.484,56

Tilattu etävarastosta

Arvioitu toimitus ke 30. heinä - to 7. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve 2000 edition

Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy.

408 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä lauantai 30. syyskuuta 2000
ISBN13 9780792379683
Tuottaja Springer
Sivujen määrä 412
Mitta 155 × 235 × 23 mm   ·   771 g
Kieli English  
Toimittaja Bolognesi, Tommaso
Toimittaja Latella, Diego

Katso kaikki joka sisältää Ifip Tc6 Wg6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verification ( Esim. Hardcover Book )