Ergebnisse filtern
-
- 3
- 2
-
- 1
- 2
- 1
- 1
-
- 1
- 1
- 1
- 2
-
- 1
- 4
-
- 5
-
- 5
-
- 5
-
Berry / Finkel / Comon Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42345-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Berry / Comon / Finkel Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-44585-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Potop-Butucaru / Edwards / Berry Compiling Esterel
2007. Auflage 2007Verlag: Springer UsISBN: 978-0-387-70626-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Potop-Butucaru / Berry / Edwards Compiling Esterel
1. Auflage. Softcover version of original hardcover Auflage 2007Verlag: Springer USISBN: 978-1-4419-4355-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Potop-Butucaru / Edwards / Berry Compiling Esterel
1. Auflage 2007Verlag: Springer USISBN: 978-0-387-70628-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort