Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Ouyang Chun, Chun Ouyang, Emilio Tuosto - Web Services and Formal Methods
Ouyang Chun, Chun Ouyang, Emilio Tuosto Web Services and Formal Methods Inglese 25.07.2014 Tascabile Fr. 55.90 6-7 settimane
Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder - Implementation and Application of Functional Languages
Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder Implementation and Application of Functional Languages Inglese 30.05.2005 Tascabile Fr. 69.00 6-7 settimane
Georgios Paliouras, Yasubumi Sakakibara - Grammatical Inference: Algorithms and Applications
Georgios Paliouras, Yasubumi Sakakibara Grammatical Inference: Algorithms and Applications Inglese 05.10.2004 Tascabile Fr. 69.00 6-7 settimane
João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum - Declarative Agent Languages and Technologies II
João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum Declarative Agent Languages and Technologies II Inglese 16.06.2005 Tascabile Fr. 69.00 6-7 settimane
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker - SDL 2015: Model-Driven Engineering for Smart Cities
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker SDL 2015: Model-Driven Engineering for Smart Cities Inglese 28.11.2015 Tascabile Fr. 67.00 6-7 settimane
Patrick Godefroid - Model Checking Software
Patrick Godefroid Model Checking Software Inglese 09.08.2005 Tascabile Fr. 69.00 6-7 settimane
Marco Bernardo, Jane Hillston - Formal Methods for Performance Evaluation
Marco Bernardo, Jane Hillston Formal Methods for Performance Evaluation Inglese 18.05.2007 Tascabile Fr. 69.00 6-7 settimane
Tullio Vardanega, Andy Wellings - Reliable Software Technology - Ada-Europe 2005
Tullio Vardanega, Andy Wellings Reliable Software Technology - Ada-Europe 2005 Inglese 08.06.2005 Tascabile Fr. 69.00 6-7 settimane
Roberto Gorrieri, Heike Wehrheim - Formal Methods for Open Object-Based Distributed Systems
Roberto Gorrieri, Heike Wehrheim Formal Methods for Open Object-Based Distributed Systems Inglese 09.06.2006 Tascabile Fr. 69.00 6-7 settimane
Peter Van Roy, Peter Van Roy - Multiparadigm Programming in Mozart/Oz
Peter Van Roy, Peter Van Roy Multiparadigm Programming in Mozart/Oz Inglese 01.03.2005 Tascabile Fr. 69.00 6-7 settimane
Rastislav Bodik - Compiler Construction
Rastislav Bodik Compiler Construction Inglese 24.03.2005 Tascabile Fr. 69.00 6-7 settimane
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders - Communicating Sequential Processes. The First 25 Years
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders Communicating Sequential Processes. The First 25 Years Inglese 03.05.2005 Tascabile Fr. 69.00 6-7 settimane
Olivier Barais, Benoit Combemale, David Pearce, Jurgen Vinju - Software Language Engineering
Olivier Barais, Benoit Combemale, David Pearce, Jurgen Vinju Software Language Engineering Inglese 23.09.2014 Tascabile Fr. 69.00 6-7 settimane
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol - Formal Methods: Applications and Technology
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol Formal Methods: Applications and Technology Inglese 20.02.2007 Tascabile Fr. 69.00 6-7 settimane
Ivica Crnkovic, Raffaela Mirandola, Danny Weyns - Software Architecture
Ivica Crnkovic, Raffaela Mirandola, Danny Weyns Software Architecture Inglese 26.08.2015 Tascabile Fr. 69.00 6-7 settimane
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue - Formal Aspects of Component Software
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue Formal Aspects of Component Software Inglese 30.07.2014 Tascabile Fr. 69.00 6-7 settimane
Wolfgang Grieskamp, Carsten Weise - Formal Approaches to Software Testing
Wolfgang Grieskamp, Carsten Weise Formal Approaches to Software Testing Inglese 30.05.2006 Tascabile Fr. 69.00 6-7 settimane
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics Inglese 18.01.2018 Tascabile Fr. 69.00 6-7 settimane
Anthony Anjorin, Huáscar Espinoza - Modelling Foundations and Applications
Anthony Anjorin, Huáscar Espinoza Modelling Foundations and Applications Inglese 20.06.2017 Tascabile Fr. 69.00 6-7 settimane
Gabriele Puppis - Automata for Branching and Layered Temporal Structures
Gabriele Puppis Automata for Branching and Layered Temporal Structures Inglese 18.02.2010 Tascabile Fr. 69.00 6-7 settimane