Languages
Subject
Format
Availabity
Authors

Search result

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
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 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Beniamino Di Martino, Jack Dongarra, Diete Kranzlmüller, Dieter Kranzlmüller, Beniamino di Martino - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Beniamino Di Martino, Jack Dongarra, Diete Kranzlmüller, Dieter Kranzlmüller, Beniamino di Martino Recent Advances in Parallel Virtual Machine and Message Passing Interface English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni - Static Analysis
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni Static Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz - Software Composition
Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz Software Composition English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Fabric Kordon, Fabrice Kordon, Vardanega, Vardanega, Tullio Vardanega - Reliable Software Technologies - Ada-Europe 2008
Fabric Kordon, Fabrice Kordon, Vardanega, Vardanega, Tullio Vardanega Reliable Software Technologies - Ada-Europe 2008 English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino - Formal Methods for Industrial Critical Systems
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino Formal Methods for Industrial Critical Systems English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Marco Bernardo, Alessandro Bogliolo - Formal Methods for Mobile Computing
Marco Bernardo, Alessandro Bogliolo Formal Methods for Mobile Computing English 13.04.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Vladimir Itsykson, Andre Scedrov, Victor Zakharov - Tools and Methods of Program Analysis
Vladimir Itsykson, Andre Scedrov, Victor Zakharov Tools and Methods of Program Analysis English 30.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Nicola Olivetti, Ashish Tiwari - Automated Reasoning
Nicola Olivetti, Ashish Tiwari Automated Reasoning English 12.06.2016 Paperback / Softback Fr. 110.00 6-7 weeks
Alexander Romanovsky, Elena A. Troubitsyna - Software Engineering for Resilient Systems
Alexander Romanovsky, Elena A. Troubitsyna Software Engineering for Resilient Systems English 12.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Christian Schulte - Programming Constraint Services
Christian Schulte Programming Constraint Services English 20.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Luca Paolini, Simona Ronchi Della Rocca - The Parametric Lambda Calculus
Luca Paolini, Simona Ronchi Della Rocca The Parametric Lambda Calculus English 05.07.2004 Hardback Fr. 70.00 6-7 weeks
Juan De Lara, Detlef Plump - Graph Transformation
Juan De Lara, Detlef Plump Graph Transformation English 22.06.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Nadia Polikarpova, Steve Schneider - Integrated Formal Methods
Nadia Polikarpova, Steve Schneider Integrated Formal Methods English 27.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi - Recent Advances in Constraints
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi Recent Advances in Constraints English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau - Formal Methods and Software Engineering
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... - Advanced Topics in Exception Handling Techniques
Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... Advanced Topics in Exception Handling Techniques English 20.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski - Modular Programming Languages
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski Modular Programming Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Eugene Asarin, Patricia Bouyer - Formal Modeling and Analysis of Timed Systems
Eugene Asarin, Patricia Bouyer Formal Modeling and Analysis of Timed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks