Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

Automata Implementation
4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
von Oliver Boldt; Helmut Jürgensen
Buch | Softcover
2001 | Auflage: 1 | Springer Berlin
ISBN: 9783540428121
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Applied Semantics
International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
von Gilles Barthe; Peter Dybjer; Luis Pinto; João..
Buch | Softcover
2002 | Auflage: 1 | Springer Berlin
ISBN: 9783540440444
CHF 74,85 (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 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Programming Languages and Systems
17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008,..
von Sophia Drossopoulou
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540787389
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Testing Software and Systems
23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
von Burkhart Wolff; Fatiha Zaidi
Buch | Softcover
2011 | Auflage: 1 | Springer Berlin
ISBN: 9783642245794
CHF 104,80 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Prolog by Example
How to Learn, Teach and Use It
von Helder Coelho; Jose C. Cotta
Buch | Softcover
2011 | Auflage: 1 | Springer Berlin
ISBN: 9783642832154
CHF 164,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Model Checking Software
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
von Ezio Bartocci; C. R. Ramakrishnan
Buch | Softcover
2013 | Auflage: 1 | Springer Berlin
ISBN: 9783642391750
CHF 79,95 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Unifying Theories of Programming
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
von Burkhard Wolff; Marie-Claude Gaudel; Abderrahmane..
Buch | Softcover
2013 | Auflage: 1 | Springer Berlin
ISBN: 9783642357046
CHF 68,90 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Pattern Calculus
Computing with Functions and Structures
von Barry Jay
Buch | Softcover
2014 | Auflage: 1 | Springer Berlin
ISBN: 9783642426018
CHF 249,95 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Parsing Schemata
A Framework for Specification and Analysis of Parsing Algorithms
von Klaas Sikkel
Buch | Softcover
2013 | Auflage: 1 | Springer Berlin
ISBN: 9783642644511
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen