Languages
Subject
Format
Availabity
Authors

Search result

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
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Formal Verification of Object-Oriented Software English 19.07.2012 Paperback / Softback Fr. 66.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
Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones - Reliable Software Technologies - Ada-Europe 2016
Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones Reliable Software Technologies - Ada-Europe 2016 English 31.05.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Johannes Brauer - Programming Smalltalk - Object-Orientation from the Beginning
Johannes Brauer Programming Smalltalk - Object-Orientation from the Beginning English 09.02.2015 Paperback / Softback Fr. 77.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
Ralf Lämmel, João Saraiva, Joost Visser - Generative and Transformational Techniques in Software Engineering
Ralf Lämmel, João Saraiva, Joost Visser Generative and Transformational Techniques in Software Engineering English 29.09.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Joaquim Filipe, Leszek A. Maciaszek - Evaluation of Novel Approaches to Software Engineering
Joaquim Filipe, Leszek A. Maciaszek Evaluation of Novel Approaches to Software Engineering English 19.12.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Khalil Drira - Software Architecture
Khalil Drira Software Architecture English 06.06.2013 Paperback / Softback 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
Mark van den Brand, Dragan Gasevic, Jeff Gray, Mark van den Brand - Software Language Engineering
Mark van den Brand, Dragan Gasevic, Jeff Gray, Mark van den Brand Software Language Engineering English 25.03.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Pieter Adriaans, Henning Fernau, Menno van Zaanen - Grammatical Inference: Algorithms and Applications
Pieter Adriaans, Henning Fernau, Menno van Zaanen Grammatical Inference: Algorithms and Applications English 11.09.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Giovanna Di Marzo Serugendo, Michele Loreti - Coordination Models and Languages
Giovanna Di Marzo Serugendo, Michele Loreti Coordination Models and Languages English 30.05.2018 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
Thomas Ball, Sriram K. Rajamani - Model Checking Software
Thomas Ball, Sriram K. Rajamani Model Checking Software English 01.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Michele Marchesi, Giancarlo Succi - Extreme Programming and Agile Processes in Software Engineering
Michele Marchesi, Giancarlo Succi Extreme Programming and Agile Processes in Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks