Reflection and Software Engineering von Walter Cazzola; Robert J. Stroud; Francesco Tisato Buch | Softcover 2000 | Springer Berlin ISBN: 9783540677611 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova,.. von Furio Honsell; Marino Miculan Buch | Softcover 2001 | Springer Berlin ISBN: 9783540418641 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Automata, Languages and Programming Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977 von A. Salomaa; M. Steinby Buch | Softcover 1977 | Springer Berlin ISBN: 9783540083429 CHF 52,40 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Pattern Calculus Computing with Functions and Structures von Barry Jay Buch | Hardcover 2009 | Springer Berlin ISBN: 9783540891840 CHF 249,95 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Semantics-Directed Compiler Generation Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 von N.D. Jones Buch | Softcover 1980 | Springer Berlin ISBN: 9783540102502 CHF 52,40 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
DIANA. An Intermediate Language for Ada Revised Version von G. Goos; W. A. Wulf; A. Jr. Evans; K. J. Butler Buch | Softcover 1983 | Springer Berlin ISBN: 9783540126959 CHF 34,40 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings von Joel Ouaknine; Frits W. Vaandrager Buch | Softcover 2009 | Springer Berlin ISBN: 9783642043673 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Estimation of Distribution Algorithms A New Tool for Evolutionary Computation von Pedro Larrañaga; José A. Lozano Buch | Hardcover 2001 | Kluwer Academic Publishers ISBN: 9780792374664 CHF 299,55 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings von Lenore D. Zuck; Paul D. Attie; Agostino Cortesi;.. Buch | Softcover 2002 | Springer Berlin ISBN: 9783540003489 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Retargetable Compiler Technology for Embedded Systems Tools and Applications von Rainer Leupers; Peter Marwedel Buch | Hardcover 2001 | Kluwer Academic Publishers ISBN: 9780792375784 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Transactions on High-Performance Embedded Architectures and Compilers IV von Per Stenström Buch | Softcover 2011 | Springer Berlin ISBN: 9783642245671 CHF 104,80 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Semantic Integration of Heterogeneous Software Specifications von Martin Große-Rhode Buch | Softcover 2010 | Springer Berlin ISBN: 9783642073069 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Recent Advances in Formal Languages and Applications von Zoltán Ésik; Carlos Martin-Vide; Victor Mitrana Buch | Softcover 2010 | Springer Berlin ISBN: 9783642070099 CHF 289,95 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings von Gary T. Leavens; Peter O'Hearn; Sriram K Rajamani Buch | Softcover 2010 | Springer Berlin ISBN: 9783642150562 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
The NCL Natural Constraint Language von Jianyang Zhou Buch | Hardcover 2012 | Springer Berlin ISBN: 9783642238444 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers von Sharon Barner; Ian Harris; Daniel Kroening; Orna.. Buch | Softcover 2011 | Springer Berlin ISBN: 9783642195822 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 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 | Springer Berlin ISBN: 9783642245794 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Compiler Design Syntactic and Semantic Analysis von Reinhard Wilhelm; Helmut Seidl; Sebastian Hack Buch | Hardcover 2013 | Springer Berlin ISBN: 9783642175398 CHF 119,80 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Specification of Software Systems von V.S. Alagar; K. Periyasamy Buch | Hardcover 2011 | Springer London Ltd ISBN: 9780857292766 CHF 127,30 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Parsing Theory Volume II LR(k) and LL(k) Parsing von Seppo Sippu; Eljas Soisalon-Soininen Buch | Softcover 2010 | Springer Berlin ISBN: 9783642080791 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen