Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG
215,56 €
Th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! In devising the subtitle for this special edition --'Fonna! 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.
Jetzt bei Ebay:
