Ergebnisse zu
Compilerbau

Static Analysis
22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
von Sandrine Blazy; Thomas Jensen
Buch | Softcover
2015 | Auflage: 1 | Springer Berlin
ISBN: 9783662482872
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Software Engineering and Formal Methods
SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
von Carlos Canal; Akram Idani
Buch | Softcover
2015 | Auflage: 1 | Springer International Publishing
ISBN: 9783319152004
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
PHP Arrays
Single, Multi-dimensional, Associative and Object Arrays in PHP 7
von Steve Prettyman
Buch | Softcover
2016 | Apress
ISBN: 9781484225554
29,95 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Engineering Theories of Software Intensive Systems
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August..
von Manfred Broy; Johannes Gruenbauer; David Harel;..
Buch | Hardcover
2005 | Springer-Verlag New York Inc.
ISBN: 9781402035302
213,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Generating Hardware Assertion Checkers
For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
von Marc Boulé; Zeljko Zilic
Buch | Hardcover
2008 | Springer-Verlag New York Inc.
ISBN: 9781402085857
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
System on Chip Design Languages
Extended papers: best of FDL’01 and HDLCon’01
von Anne Mignotte; Eugenio Villar; Lynn Horobin
Buch | Hardcover
2002 | Springer-Verlag New York Inc.
ISBN: 9781402070464
160,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen