| Tests and Proofs |
| First International Conference, TAP 2007 |
| ISBN: |
|
| Ausgabe: |
2007 |
| Ausgabejahr: |
2007
|
| Autor(en): |
B. Meyer
,
Yuri Gurevich
|
| Verlag: |
Springer |
| Publikationstyp: |
Buch |
| Publikationskategorie: |
0.2 0.2 Tagungsbände |
| SSW-Nummer: |
1543 |
| Bibliothek: |
SSW-Bibliothek
|
| Standort: |
SSW-Bibliothek |
| Stichwörter: |
|
| Kurzbeschreibung: |
|
|
|
