Ergebnisse filtern
-
- 8
- 4
-
- 5
- 4
- 2
- 1
-
- 2
- 7
- 3
-
- 12
-
- 12
-
- 12
-
Sannella Programming Languages and Systems - ESOP '94
5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 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 Papers1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50325-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tarlecki / Sannella Foundations of Algebraic Specification and Formal Software Development
2012Verlag: SpringerISBN: 978-3-642-17335-6Medium: Buch117,69 € (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 Watermark85,59 € (inkl. MwSt.)
sofort verfügbar -
Tarlecki / Sannella Foundations of Algebraic Specification and Formal Software Development
2012Verlag: SpringerISBN: 978-3-642-44065-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Montanari / Bruni / Sannella Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75333-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Montanari / Sannella / Bruni Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers2007Verlag: SpringerISBN: 978-3-540-75336-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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 Watermark37,44 € (inkl. MwSt.)
sofort verfügbar -
Sannella / Wadler / Fourman Introduction to Computation
Haskell, Logic and Automata1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-76907-9Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Diaz / Karhumäki / Lepistö Automata, Languages and Programming
31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, ProceedingsErscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-27836-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark171,19 € (inkl. MwSt.)
sofort verfügbar -
Bidoit / Kreowski / Sannella Algebraic System Specification and Development
A Survey and Annotated Bibliography1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54060-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Diaz / Karhumaki / Karhumäki 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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort