Ergebnisse zu
Compilerbau

Component-Based Software Engineering
8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
von George Heineman; Ivica Crnkovic; Heinz W. Schmidt;..
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540258773
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 Engineering and Middleware
4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers
von Thomas Gschwind; Cecilia Mascolo
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540253280
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Programming Languages and Systems
14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005,..
von Mooly Sagiv
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540254355
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Compiler Construction
17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest,..
von Laurie Hendren
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540787907
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Fundamental Approaches to Software Engineering
11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest,..
von José Fiadeiro; Paola Inverardi
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540787426
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Model Checking Software
14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
von Dragan Bosnacki; Stefan Edelkamp
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540733690
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
von Jayadev Misra; Tobias Nipkow; Emil Sekerinski
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540372158
106,99 € (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
Hardware and Software: Verification and Testing
5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
von Kedar Namjoshi; Andreas Zeller; Avi Ziv
Buch | Softcover
2011 | Auflage: 1 | Springer Berlin
ISBN: 9783642192364
64,19 € (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
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
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