Ergebnisse zu
Compilerbau

Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
von Agostino Cortesi; Gilberto File
Buch | Softcover
1999 | Auflage: 1 | Springer Berlin
ISBN: 9783540664598
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Constraint Databases
von Gabriel Kuper; Leonid Libkin; Jan Paredaens
Buch | Hardcover
2000 | Auflage: 1 | Springer Berlin
ISBN: 9783540661511
160,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Fundamental Approaches to Software Engineering
5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble,..
von Ralf-Detlef Kutsche; Herbert Weber
Buch | Softcover
2002 | Auflage: 1 | Springer Berlin
ISBN: 9783540433538
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Software Engineering and Middleware
Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers
von Alberto Coen-Porisini; André van der Hoeck
Buch | Softcover
2003 | Auflage: 1 | Springer Berlin
ISBN: 9783540075493
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Implementation of Functional Languages
14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
von Ricardo Pena; Thomas Arts
Buch | Softcover
2003 | Auflage: 1 | Springer Berlin
ISBN: 9783540401902
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Formal Methods for Software Architectures
Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003,..
von Marco Bernardo; Paola Inverardi
Buch | Softcover
2003 | Auflage: 1 | Springer Berlin
ISBN: 9783540200833
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Term Rewriting and Applications
17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
von Frank Pfenning
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540368342
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Hardware and Software, Verification and Testing
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
von Eyal Bin; Avi Ziv; Shmuel Ur
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540708889
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
25 Years of Model Checking
History, Achievements, Perspectives
von Orna Grumberg; Helmut Veith
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540698494
37,44 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
von Otmane Ait Mohamed; César Munoz; Sofiène Tahar
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540710653
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
von Michael Butler; Michael G. Hinchey; Maria M...
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540766483
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen