Ergebnisse zu
Compilerbau

Joys of Hashing
Hash Table Programming with C
von Thomas Mailund
eBook Download (PDF)
2019 | Apress
ISBN: 9781484240663
46,99 € (inkl. MwSt)
  • Download sofort lieferbar
Compiler Construction
13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona,..
von Evelyn Duesterwald
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540212973
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
von Stefano Berardi; Mario Coppo; Ferruccio Damiani
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540221647
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Formal Methods and Software Engineering
5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
von Jin Song Dong; Jim Woodcock
Buch | Softcover
2003 | Auflage: 1 | Springer Berlin
ISBN: 9783540204619
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
von Oleg Sokolsky; Serdar Tasiran
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540773948
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Variations on Constants
Flow Analysis of Sequential and Parallel Programs
von Markus Müller-Olm
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540453857
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Logic, Language, and Computation
7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
von Peter Bosch; David Gabelaia; Jérôme Lang
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642006647
74,89 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
von Shaoying Liu; Tom Maibaum; Keijiro Araki
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540881933
93,08 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Perspectives of Systems Informatics
7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
von Amir Pnueli; Andrei Voronkov
Buch | Softcover
2010 | Auflage: 1 | Springer Berlin
ISBN: 9783642114854
96,29 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen