Ergebnisse filtern
-
- 95
- 71
-
- 1
- 147
- 1
- 15
- 1
- 1
-
- 1
- 104
- 61
-
- 166
-
- 166
-
- 166
-
Reps / Teitelbaum The Synthesizer Generator
A System for Constructing Language-Based Editors1. Auflage 2011Verlag: SpringerISBN: 978-1-4613-9625-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heydon / Levin / Mann Software Configuration Management Using Vesta
1. Auflage Softcover of orig. Auflage 2006Verlag: SpringerISBN: 978-1-4419-3472-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Broy / Stølen Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement1. Auflage 2012Verlag: SpringerISBN: 978-1-4612-6518-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Leiss Language Equations
1. Auflage 2011Verlag: SpringerISBN: 978-1-4612-7436-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tonella / Potrich Reverse Engineering of Object Oriented Code
2005. Auflage 2004Verlag: SpringerISBN: 978-0-387-40295-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Manes / Arbib Algebraic Approaches to Program Semantics
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-1-4612-9377-4Medium: Buch93,08 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Feijen / Gasteren / Gries Beauty Is Our Business
A Birthday Salute to Edsger W. Dijkstra1. Auflage 2011Verlag: SpringerISBN: 978-1-4612-8792-6Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schwartz / Dewar / Dubinsky Programming with Sets
An Introduction to SETL1. Auflage 2012Verlag: SpringerISBN: 978-1-4613-9577-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bischofberger / Pomberger Prototyping-Oriented Software Development
Concepts and Tools1992Verlag: SpringerISBN: 978-3-642-84760-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Grune / Jacobs Parsing Techniques
A Practical Guide2. Auflage 2008Verlag: SpringerISBN: 978-1-4419-1901-4Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abadi / Cardelli A Theory of Objects
1996Verlag: SpringerISBN: 978-0-387-94775-4Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Poernomo / Crossley / Wirsing 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 -
Dijkstra / Scholten Predicate Calculus and Program Semantics
1. Auflage 2011Verlag: SpringerISBN: 978-1-4612-7924-2Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Feijen / Gasteren / Gries Beauty Is Our Business
A Birthday Salute to Edsger W. Dijkstra1. Auflage 1990Verlag: SpringerISBN: 978-0-387-97299-2Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Guttag / Horning Larch: Languages and Tools for Formal Specification
1. Auflage 2011Verlag: SpringerISBN: 978-1-4612-7636-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abadi / Cardelli A Theory of Objects
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-6445-3Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alagic Relational Database Technology
Erscheinungsjahr 1986Verlag: SpringerISBN: 978-0-387-96276-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reps / Teitelbaum The Synthesizer Generator
A System for Constructing Language-Based EditorsErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4613-9623-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Feijen / Gasteren / Gries Beauty Is Our Business
A Birthday Salute to Edsger W. DijkstraErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-4476-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar -
Dijkstra / Scholten Predicate Calculus and Program Semantics
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-3228-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark90,94 € (inkl. MwSt.)
sofort verfügbar -
Alagic Object-Oriented Database Programming
1989Verlag: SpringerISBN: 978-1-4612-3518-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Waite / Goos Compiler Construction
1. Auflage 1984. Corr. 2. printing 1985Verlag: Springer-Verlag New York Inc.ISBN: 978-0-387-90821-2Medium: Buch85,55 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Partsch Specification and Transformation of Programs
A Formal Approach to Software Development1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52356-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bauer / Wössner Algorithmic Language and Program Development
1. Auflage 1982Verlag: SpringerISBN: 978-3-540-11148-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Francez Fairness
Erscheinungsjahr 2011Verlag: SpringerISBN: 978-1-4612-9347-7Medium: 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