Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... - Processes, Terms and Cycles: Steps on the Road to Infinity
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... Processes, Terms and Cycles: Steps on the Road to Infinity Inglese 23.12.2005 Tascabile Fr. 135.00 6-7 settimane
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck - Practical Aspects of Declarative Languages
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck Practical Aspects of Declarative Languages Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina - Logic Programming and Nonmonotonic Reasoning
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina Logic Programming and Nonmonotonic Reasoning Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni - Static Analysis
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni Static Analysis Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz - Software Composition
Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz Software Composition Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi - Agile Processes in Software Engineering and Extreme Programming
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi Agile Processes in Software Engineering and Extreme Programming Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... - Language Constructs for Describing Features
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... Language Constructs for Describing Features Inglese 02.12.2013 Tascabile Fr. 120.00 6-7 settimane
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 Inglese 27.09.2012 Tascabile Fr. 70.00 6-7 settimane
Clemen A Szyperski, Clemens A Szyperski, Ralf H Reussner et al, Sven Overhage, Ralf H. Reussner, Judith A. Stafford... - Software Architectures, Components, and Applications
Clemen A Szyperski, Clemens A Szyperski, Ralf H Reussner et al, Sven Overhage, Ralf H. Reussner, Judith A. Stafford... Software Architectures, Components, and Applications Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane
Michae Cebulla, Michael Cebulla - Object-Oriented Technology. ECOOP 2007 Workshop Reader
Michae Cebulla, Michael Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner - Quality of Software Architectures Models and Architectures
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner Quality of Software Architectures Models and Architectures Inglese 27.09.2012 Tascabile Fr. 70.00 6-7 settimane
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... - FM 2005: Formal Methods
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... FM 2005: Formal Methods Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Saitta, Saitta, Lorenza Saitta, Jean-Danie Zucker, Jean-Daniel Zucker - Abstraction, Reformulation and Approximation
Saitta, Saitta, Lorenza Saitta, Jean-Danie Zucker, Jean-Daniel Zucker Abstraction, Reformulation and Approximation Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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
Nicolas Guelfi - Rapid Integration of Software Engineering Techniques
Nicolas Guelfi Rapid Integration of Software Engineering Techniques Inglese 18.05.2005 Tascabile Fr. 70.00 6-7 settimane
Alexander S. Kulikov, Gerhard J. Woeginger - Computer Science - Theory and Applications
Alexander S. Kulikov, Gerhard J. Woeginger Computer Science - Theory and Applications Inglese 31.05.2016 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
Holger Giese, Barbara König - Graph Transformation
Holger Giese, Barbara König Graph Transformation Inglese 04.08.2014 Tascabile Fr. 68.00 6-7 settimane