Verification, Model Checking, and Abstract Interpretation
60,80 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540697350
| EAN: | 9783540697350 |
|---|---|
| Auflage: | 2007 |
| Sprache: | Englisch |
| Seitenzahl: | 412 |
| Produktart: | kartoniert, broschiert |
| Herausgeber: | Podelski, Andreas Cook, Byron |
| Verlag: | Springer Berlin Springer Berlin Heidelberg |
| Veröffentlichungsdatum: | 03.01.2007 |
| Untertitel: | 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings |
| Schlagworte: | Programmieren (EDV) / Entwicklung Verifikation - verifizieren |
| Größe: | 23 × 155 × 235 |
| Gewicht: | 622 g |
