Ergebnisse zu
Compilerbau

Model Checking Software
15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
von Klaus Havelund; Rupak Majumdar; Jens Palsberg
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540851134
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
von Frank S. de Boer; Marcello M. Bonsangue; Susanne..
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540229421
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
von Roberto Giacobazzi
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540227915
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
CLU
Reference Manual
von B. Liskov; R. Atkinson; T. Bloom; E. Moss; J. C...
Buch | Softcover
1981 | Auflage: 1 | Springer Berlin
ISBN: 9783540108368
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Language and Automata Theory and Applications
Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
von Carlos Martin-Vide; Friedrich Otto; Henning Fernau
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540882817
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Scalable Uncertainty Management
Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings
von Sergio Greco
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540879923
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Compiler
Aufbau und Arbeitsweise
von Hans J. Schneider
Buch | Hardcover
1975 | Auflage: 1 | De Gruyter
ISBN: 9783110020588
109,95 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Model Checking Software
18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings
von Alex Groce; Madanlal Musuvathi
Buch | Softcover
2011 | Auflage: 1 | Springer Berlin
ISBN: 9783642223051
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Static Analysis
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
von Radhia Cousot; David A. Schmidt
Buch | Softcover
1996 | Auflage: 1 | Springer Berlin
ISBN: 9783540617396
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Z User Workshop, York 1991
Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991
von J. E. Nicholls
Buch | Softcover
1992 | Auflage: 1 | Springer Berlin
ISBN: 9783540197805
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
INNC 90 PARIS
Volume 2 International Neural Network Conference July 9–13, 1990 Palais Des Congres - Paris - France
von International Neural Network Society; Nina Thellier
Buch | Softcover
1990 | Springer
ISBN: 9780792308317
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen