Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering
Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Pawe Urzyczyn, Pawel Urzyczyn - Typed Lambda Calculi and Applications
Pawe Urzyczyn, Pawel Urzyczyn Typed Lambda Calculi and Applications Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation
Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 04.06.2005 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder - Implementation of Functional Languages
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder Implementation of Functional Languages Anglais 04.06.2005 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 07.06.2005 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Vladimiro Sassone - Foundations of Software Science and Computational Structures
Vladimiro Sassone Foundations of Software Science and Computational Structures Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Thomas Gschwind, Cecilia Mascolo - Software Engineering and Middleware
Thomas Gschwind, Cecilia Mascolo Software Engineering and Middleware Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki - Software Security - Theories and Systems
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki Software Security - Theories and Systems Anglais 04.06.2005 Livre de poche Fr. 70.00 6-7 semaines
Gustav Alonso, Gustavo Alonso - Middleware 2005
Gustav Alonso, Gustavo Alonso Middleware 2005 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene - Advanced Functional Programming
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene Advanced Functional Programming Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Mooly Sagiv - Programming Languages and Systems
Mooly Sagiv Programming Languages and Systems Anglais 01.07.2009 Livre de poche Fr. 70.00 6-7 semaines
Heinrich Rust - Operational Semantics for Timed Systems
Heinrich Rust Operational Semantics for Timed Systems Anglais 07.06.2005 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi - Formal Modeling and Analysis of Timed Systems
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi Formal Modeling and Analysis of Timed Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines