Ergebnisse zu
Compilerbau

Model Checking Software
19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
von Alastair Donaldson; David Parker
Buch | Softcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642317583
49,22 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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 | Auflage: 1 | Springer Berlin
ISBN: 9783540712886
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
Database Programming Languages
12th International Symposium, DBPL 2009, Lyon, France, August 24, 2009, Proceedings
von Philippa Gardner; Floris Geerts
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642037924
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 | 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
Constraint Databases
von Gabriel Kuper; Leonid Libkin; Jan Paredaens
Buch | Softcover
2010 | Auflage: 1 | Springer Berlin
ISBN: 9783642085420
160,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 | Auflage: 1 | 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 | Auflage: 1 | Springer Berlin
ISBN: 9783642165726
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Supercomputing
1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings
von Elias N. Houstis; Theodore S. Papatheodorou;..
Buch | Softcover
1988 | Auflage: 1 | Springer Berlin
ISBN: 9783540189916
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen