Vol. 4171 Verified Software: Theories, Tools, Experiments : First IFIP TC2/WG 2.3 Conference, VSTTE 2005 Zurich, Switzerland, October 10-13, 2005 Revised Selected Papers and Discussions
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Springer Berlin Heidelberg,
2008
|
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
| Beschreibung: | 546 s |
|---|---|
| ISBN: | 978-3-540-69147-1 |