|
|
|
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques fo
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
| Lieferstatus: |
 i.d.R. innert 7-14 Tagen versandfertig |
| Veröffentlichung: |
September 2000
|
| Genre: |
EDV / Informatik |
| ISBN: |
9780792379683 |
|
EAN-Code:
|
9780792379683 |
| Verlag: |
Springer |
| Einband: |
Gebunden |
| Sprache: |
English
|
| Dimensionen: |
H 241 mm / B 160 mm / D 28 mm |
| Gewicht: |
805 gr |
| Seiten: |
428 |
| Bewertung: |
Titel bewerten / Meinung schreiben
|
| Inhalt: |
| 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. |
|
Newsfeed | 
Facebook | 
Twitter
