Languages
Subject
Format
Availabity
Authors

Search result

Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau Component-Based Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Thomas Baar, Ana Moreira, Alfre Strohmeier, Alfred Strohmeier - UML 2004 - The Unified Modeling Language
Thomas Baar, Ana Moreira, Alfre Strohmeier, Alfred Strohmeier UML 2004 - The Unified Modeling Language English 04.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Toval Alvarez - UML Modeling Languages and Applications
Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Toval Alvarez UML Modeling Languages and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Pawe Urzyczyn, Pawel Urzyczyn - Typed Lambda Calculi and Applications
Pawe Urzyczyn, Pawel Urzyczyn Typed Lambda Calculi and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation
Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gabo Karsai, Gabor Karsai, Visser, Visser, Eelco Visser - Generative Programming and Component Engineering
Gabo Karsai, Gabor Karsai, Visser, Visser, Eelco Visser Generative Programming and Component Engineering English 07.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen - Constraint Solving and Language Processing
Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen Constraint Solving and Language Processing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Vladimiro Sassone - Foundations of Software Science and Computational Structures
Vladimiro Sassone Foundations of Software Science and Computational Structures English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... - Integration of Software Specification Techniques for Applications in Engineering
W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... Integration of Software Specification Techniques for Applications in Engineering English 20.12.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Gschwind, Cecilia Mascolo - Software Engineering and Middleware
Thomas Gschwind, Cecilia Mascolo Software Engineering and Middleware English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki - Software Security - Theories and Systems
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki Software Security - Theories and Systems English 04.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Mooly Sagiv - Programming Languages and Systems
Mooly Sagiv Programming Languages and Systems English 01.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Heinrich Rust - Operational Semantics for Timed Systems
Heinrich Rust Operational Semantics for Timed Systems English 07.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder - Implementation of Functional Languages
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder Implementation of Functional Languages English 04.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... - Automated Technology for Verification and Analysis
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... Automated Technology for Verification and Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... - Integrated Formal Methods
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... Integrated Formal Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi - Verification, Model Checking, and Abstract Interpretation
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gustav Alonso, Gustavo Alonso - Middleware 2005
Gustav Alonso, Gustavo Alonso Middleware 2005 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene - Advanced Functional Programming
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene Advanced Functional Programming English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks