Ergebnisse filtern
-
- 3
- 2
-
- 1
- 2
- 1
- 1
-
- 1
- 2
- 2
- 2
- 5
- 3
-
- 4
- 1
-
- 2
- 3
-
- 5
-
- 5
-
- 5
-
Poernomo / Wirsing / Crossley Adapting Proofs-as-Programs
The Curry--Howard Protocol1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-2014-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lewis / Poernomo / Hofmeister Component-Based Software Engineering
12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-02414-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Lewis / Poernomo / Hofmeister Component-Based Software Engineering
12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02413-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Poernomo / Crossley / Wirsing Adapting Proofs-As-Programs
The Curry--Howard Protocol2005. Auflage 2005Verlag: SpringerISBN: 978-0-387-23759-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Poernomo / Crossley / Wirsing Adapting Proofs-as-Programs
The Curry--Howard Protocol1. Auflage 2007Verlag: Springer USISBN: 978-0-387-28183-4Medium: 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
