Ergebnisse zu
Compilerbau

Compiler Construction
13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona,..
von Evelyn Duesterwald
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540212973
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
von Oleg Sokolsky; Serdar Tasiran
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540773948
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Testing Software and Systems
23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
von Burkhart Wolff; Fatiha Zaidi
Buch | Softcover
2011 | Auflage: 1 | Springer Berlin
ISBN: 9783642245794
74,89 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
von Sharon Barner; Ian Harris; Daniel Kroening; Orna..
Buch | Softcover
2011 | Auflage: 1 | Springer Berlin
ISBN: 9783642195822
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Design
Syntactic and Semantic Analysis
von Reinhard Wilhelm; Helmut Seidl; Sebastian Hack
Buch | Hardcover
2013 | Auflage: 1 | Springer Berlin
ISBN: 9783642175398
85,59 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Types for Proofs and Programs
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
von Thorsten Altenkirch; Conor McBride
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540744634
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Pattern Calculus
Computing with Functions and Structures
von Barry Jay
Buch | Hardcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783540891840
181,89 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Programming Languages and Systems
17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008,..
von Sophia Drossopoulou
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540787389
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Variations on Constants
Flow Analysis of Sequential and Parallel Programs
von Markus Müller-Olm
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540453857
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Ada: The Choice for '92
Ada-Europe International Conference Athens, Greece, May 13-17, 1991
von Dimitris Christodoulakis
Buch | Softcover
1991 | Auflage: 1 | Springer Berlin
ISBN: 9783540540922
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen