Ifip Tc6 Wg6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verification
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 2000 edition

Name: 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
Price: 189.99 EUR
Availability: OutOfStock
Author: Ifip Tc6 Wg6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verification

Cena

€ 189,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 2. - 10. nov

Prejemajte obvestila o novih izdajah izvajalca Ifip Tc6 Wg6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verification

Kaj pravijo naše stranke:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov

Najvišja ocena na Trustpilot

Dodaj na svoj seznam želja iMusic

Not rated yet

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

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

Medij	Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami)
Izdano	30. septembra 2000
ISBN13	9780792379683
Založniki	Springer
Strani	412
Dimenzije	155 × 235 × 23 mm · 771 g
Jezik	Angleščina
Urednik	Bolognesi, Tommaso
Urednik	Latella, Diego