Ergebnisse zu
Compilerbau

Computer Science Logic
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
von Jerzy Marcinkowski
Buch | Softcover
2004 | Springer Berlin
ISBN: 9783540230243
53,49 € (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 7-10 Tagen
Automated Deduction - CADE-18
18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
von Andrei Voronkov
Buch | Softcover
2002 | Springer Berlin
ISBN: 9783540439318
53,49 € (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 7-10 Tagen
Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
von Zhiming Liu; Jifeng He
Buch | Softcover
2006 | Springer Berlin
ISBN: 9783540474609
106,99 € (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 7-10 Tagen
Fundamental Approaches to Software Engineering
12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK,..
von Marsha Chechik; Martin Wirsing
Buch | Softcover
2009 | Springer Berlin
ISBN: 9783642005923
53,49 € (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 7-10 Tagen
Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
von Corina S Pasareanu
Buch | Softcover
2009 | Springer Berlin
ISBN: 9783642026515
74,89 € (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 7-10 Tagen
Formal Methods: Foundations and Applications
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
von Marcel Vinícius Medeiros Oliveira; Jim Woodcock
Buch | Softcover
2009 | Springer Berlin
ISBN: 9783642104510
53,49 € (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 7-10 Tagen
Software Architecture
First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings
von Flavio Oquendo
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540751311
53,49 € (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 7-10 Tagen
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
von Radhia Cousot; Matthieu Martel
Buch | Softcover
2010 | Springer Berlin
ISBN: 9783642157684
53,49 € (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 7-10 Tagen