Ergebnisse filtern
-
- 8
- 2
-
- 8
- 1
- 1
-
- 2
- 4
- 4
-
- 10
-
- 10
-
- 10
-
Sannella Programming Languages and Systems - ESOP '94
5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-57880-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sannella Recent Trends in Data Type Specification
Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50325-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sannella / Tarlecki Foundations of Algebraic Specification and Formal Software Development
1. Auflage 2011Verlag: SpringerISBN: 978-3-642-17335-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sannella / Tarlecki Foundations of Algebraic Specification and Formal Software Development
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-17336-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark128,39 € (inkl. MwSt.)
sofort verfügbar -
Sannella / Tarlecki Foundations of Algebraic Specification and Formal Software Development
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-44065-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Montanari / Sannella / Bruni Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75333-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Diaz / Karhumäki / Lepistö Automata, Languages and Programming
Proceedings of the 31st International Colloquium, ICALP 20042004. 2004Verlag: Springer-Verlag GmbHISBN: 978-3-540-22849-3Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sannella / Fourman / Peng Introduction to Computation
Haskell, Logic and Automata1. Auflage 2021Verlag: SpringerISBN: 978-3-030-76907-9Medium: Buch40,65 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sannella / Fourman / Peng Introduction to Computation
Haskell, Logic and Automata1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-76908-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark39,58 € (inkl. MwSt.)
sofort verfügbar -
Bidoit / Kreowski / Lescanne Algebraic System Specification and Development
A Survey and Annotated Bibliography1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54060-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