Ergebnisse zu
Compilerbau

Model Checking Software
13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
von Antti Valmari
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540331025
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Model Checking Software
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
von Patrick Godefroid
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540281955
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
von Luke Ong
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540282310
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 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
Model Driven Engineering Languages and Systems
15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings
von Robert B. France; Jürgen Kazmeier; Ruth Breu;..
Buch | Softcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642336652
101,65 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Programming Languages
16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings
von Francisco Heron de Carvalho Junior; Luis Soares..
Buch | Softcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642331817
49,22 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
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
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