Ergebnisse zu
Compilerbau

Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
von Thierry Coquand; Peter Dybjer; Bengt Nordström;..
Buch | Softcover
2000 | Auflage: 1 | Springer Berlin
ISBN: 9783540415176
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Fundamental Approaches to Software Engineering
4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy,..
von Heinrich Hussmann
Buch | Softcover
2001 | Auflage: 1 | Springer Berlin
ISBN: 9783540418634
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Compiler Design
Analysis and Transformation
von Helmut Seidl; Reinhard Wilhelm; Sebastian Hack
Buch | Hardcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642175473
74,89 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
von Dominique Méry; Stephan Merz
Buch | Softcover
2010 | Auflage: 1 | Springer Berlin
ISBN: 9783642162640
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Compiler Construction
23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble,..
von Albert Cohen
Buch | Softcover
2014 | Auflage: 1 | Springer Berlin
ISBN: 9783642548062
51,36 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Concrete Semantics
With Isabelle/HOL
von Tobias Nipkow; Gerwin Klein
Buch | Softcover
2016 | Auflage: 1 | Springer International Publishing
ISBN: 9783319357591
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
iOS Code Testing
Test-Driven Development and Behavior-Driven Development with Swift
von Abhishek Mishra
Buch | Softcover
2017 | Apress
ISBN: 9781484226889
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Software Architecture
Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
von Ronald Morrison; Dharini Balasubramaniam; Katrina..
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540880295
80,24 € (inkl. MwSt)
in den Warenkorb
  • Lieferbar
Central European Functional Programming School
4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
von Viktória Zsók; Zoltán Horváth; Rinus Plasmeijer
Buch | Softcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642320958
74,90 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Perspectives of System Informatics
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015,..
von Manuel Mazzara; Andrei Voronkov
Buch | Softcover
2016 | Auflage: 1 | Springer International Publishing
ISBN: 9783319415789
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Reliable Software Technologies – Ada-Europe 2016
21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
von Marko Bertogna; Luís Miguel Pinho; Eduardo Quiñones
Buch | Softcover
2016 | Auflage: 1 | Springer International Publishing
ISBN: 9783319390826
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen