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 | Springer Berlin
ISBN: 9783540664598
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Fundamental Approaches to Software Engineering
10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga,..
von Matthew B. Dwyer; Antonia Lopes
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540712886
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Model Checking Software
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
von Jaco van der Pol; Michael Weber
Buch | Softcover
2010 | Springer Berlin
ISBN: 9783642161636
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Testing Software and Systems
22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
von Alexandre Petrenko; Adenilso Simao; José Carlos..
Buch | Softcover
2010 | Springer Berlin
ISBN: 9783642165726
53,49 € (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 | 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 | Springer Berlin
ISBN: 9783540766483
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen