Verification, Model Checking, and Abstract Interpretation / Lecture Notes in Computer Science Bd.2937 (PDF)
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
(Sprache: Englisch)
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Verification, Model Checking, and Abstract Interpretation / Lecture Notes in Computer Science Bd.2937 (PDF)“
Bibliographische Angaben
- 2003, 2004, 325 Seiten, Englisch
- Herausgegeben: Bernhard Steffen, Giorgio Levi
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540246223
- ISBN-13: 9783540246220
- Erscheinungsdatum: 19.12.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 3.13 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Verification, Model Checking, and Abstract Interpretation / Lecture Notes in Computer Science Bd.2937"
0 Gebrauchte Artikel zu „Verification, Model Checking, and Abstract Interpretation / Lecture Notes in Computer Science Bd.2937“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Verification, Model Checking, and Abstract Interpretation / Lecture Notes in Computer Science Bd.2937".
Kommentar verfassen