Computer Aided Verification / Lecture Notes in Computer Science Bd.3114 (PDF)
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
(Sprache: Englisch)
sofort als Download lieferbar
eBook (pdf)
Fr. 118.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Computer Aided Verification / Lecture Notes in Computer Science Bd.3114 (PDF)“
Bibliographische Angaben
- 2004, 2004, 536 Seiten, Englisch
- Herausgegeben: Rajeev Alur, Doron A. Peled
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540278133
- ISBN-13: 9783540278139
- Erscheinungsdatum: 30.07.2004
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 6.80 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Computer Aided Verification / Lecture Notes in Computer Science Bd.3114"
0 Gebrauchte Artikel zu „Computer Aided Verification / Lecture Notes in Computer Science Bd.3114“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Computer Aided Verification / Lecture Notes in Computer Science Bd.3114".
Kommentar verfassen