Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Marco Bernardo, Alessandro Bogliolo - Formal Methods for Mobile Computing
Marco Bernardo, Alessandro Bogliolo Formal Methods for Mobile Computing Inglese 13.04.2005 Tascabile Fr. 70.00 6-7 settimane
Vladimir Itsykson, Andre Scedrov, Victor Zakharov - Tools and Methods of Program Analysis
Vladimir Itsykson, Andre Scedrov, Victor Zakharov Tools and Methods of Program Analysis Inglese 30.12.2017 Tascabile Fr. 70.00 6-7 settimane
Nicola Olivetti, Ashish Tiwari - Automated Reasoning
Nicola Olivetti, Ashish Tiwari Automated Reasoning Inglese 12.06.2016 Tascabile Fr. 110.00 6-7 settimane
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Formal Verification of Object-Oriented Software Inglese 19.07.2012 Tascabile Fr. 66.00 6-7 settimane
Alexander Romanovsky, Elena A. Troubitsyna - Software Engineering for Resilient Systems
Alexander Romanovsky, Elena A. Troubitsyna Software Engineering for Resilient Systems Inglese 12.08.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 31.05.2016 Tascabile Fr. 70.00 6-7 settimane
Johannes Brauer - Programming Smalltalk - Object-Orientation from the Beginning
Johannes Brauer Programming Smalltalk - Object-Orientation from the Beginning Inglese 09.02.2015 Tascabile Fr. 77.00 6-7 settimane
Christian Schulte - Programming Constraint Services
Christian Schulte Programming Constraint Services Inglese 20.03.2002 Tascabile Fr. 70.00 6-7 settimane
Luca Paolini, Simona Ronchi Della Rocca - The Parametric Lambda Calculus
Luca Paolini, Simona Ronchi Della Rocca The Parametric Lambda Calculus Inglese 05.07.2004 Copertina rigida Fr. 70.00 6-7 settimane
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 Inglese 29.09.2006 Tascabile Fr. 70.00 6-7 settimane
Joaquim Filipe, Leszek A. Maciaszek - Evaluation of Novel Approaches to Software Engineering
Joaquim Filipe, Leszek A. Maciaszek Evaluation of Novel Approaches to Software Engineering Inglese 19.12.2013 Tascabile Fr. 70.00 6-7 settimane
Khalil Drira - Software Architecture
Khalil Drira Software Architecture Inglese 06.06.2013 Tascabile Fr. 70.00 6-7 settimane
Juan de Lara, Detlef Plump - Graph Transformation
Juan de Lara, Detlef Plump Graph Transformation Inglese 22.06.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 25.03.2010 Tascabile Fr. 70.00 6-7 settimane
Pieter Adriaans, Henning Fernau, Menno van Zaanen - Grammatical Inference: Algorithms and Applications
Pieter Adriaans, Henning Fernau, Menno van Zaanen Grammatical Inference: Algorithms and Applications Inglese 11.09.2002 Tascabile Fr. 70.00 6-7 settimane
Giovanna Di Marzo Serugendo, Michele Loreti - Coordination Models and Languages
Giovanna Di Marzo Serugendo, Michele Loreti Coordination Models and Languages Inglese 30.05.2018 Tascabile Fr. 70.00 6-7 settimane
Nadia Polikarpova, Steve Schneider - Integrated Formal Methods
Nadia Polikarpova, Steve Schneider Integrated Formal Methods Inglese 27.08.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Thomas Ball, Sriram K. Rajamani - Model Checking Software
Thomas Ball, Sriram K. Rajamani Model Checking Software Inglese 01.07.2009 Tascabile Fr. 70.00 6-7 settimane
Michele Marchesi, Giancarlo Succi - Extreme Programming and Agile Processes in Software Engineering
Michele Marchesi, Giancarlo Succi Extreme Programming and Agile Processes in Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane