Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
CHF 146.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Peled, Doron A. (Hrsg.)
- ISBN: 978-3-540-27813-9
- EAN: 9783540278139
- Produktnummer: 37266822
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2004
- Seitenangabe: 536 S.
- Plattform: PDF
- Auflage: 2004
- Reihenbandnummer: 3114
7 weitere Werke von Rajeev (Hrsg.) Alur:
Embedded Software
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Ebook (PDF Format)
CHF 100.00
Bewertungen
Anmelden