Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

Joys of Hashing
Hash Table Programming with C
von Thomas Mailund
eBook Download (PDF)
2019 | Apress
ISBN: 9781484240663
46,99 €
(CHF 45,90) (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
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
CHF 104,80 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
CHF 129,95 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
CHF 134,80 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen