Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

Software Engineering and Formal Methods
SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
von Steve Counsell; Manuel Núñez
Buch | Softcover
2014 | Springer International Publishing
ISBN: 9783319050317
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Beginning C
From Novice to Professional
von Ivor Horton
Buch | Hardcover
2006 | Apress
ISBN: 9781590597354
CHF 119,80 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
von Georges Gonthier; Michael Norrish
Buch | Softcover
2013 | Springer International Publishing
ISBN: 9783319035444
CHF 109,30 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen