Ergebnisse filtern
-
- 2
- 2
-
- 2
- 1
- 1
-
- 3
- 1
-
- 4
-
- 4
-
- 4
-
- 4
-
Gibbons / Nuno Oliveira Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04912-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Backhouse / Nuno Oliveira Mathematics of Program Construction
5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 ProceedingsErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-45025-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Nuno Oliveira / Backhouse Mathematics of Program Construction
5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67727-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nuno Oliveira / Gibbons Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04911-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort