Ergebnisse filtern
-
- 4
- 2
-
- 2
- 2
- 1
- 1
-
- 4
- 2
-
- 2
- 2
- 2
-
- 6
-
- 6
-
- 6
- 1
-
Woodcock / Gaudel FME '96: Industrial Benefit and Advances in Formal Methods
Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60973-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jouannaud / Gaudel TAPSOFT '93: Theory and Practice of Software Development
4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56610-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wolff / Gaudel / Feliachi Unifying Theories of Programming
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-35705-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar
-
Wolff / Feliachi / Gaudel Unifying Theories of Programming
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-35704-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14808-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14807-1Medium: 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
