Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Leen Lambers, Jens Weber - Graph Transformation
Leen Lambers, Jens Weber Graph Transformation Inglese 29.05.2018 Tascabile Fr. 70.00 6-7 settimane
Catherine Dubois, Burkhart Wolff - Tests and Proofs
Catherine Dubois, Burkhart Wolff Tests and Proofs Inglese 03.06.2018 Tascabile Fr. 70.00 6-7 settimane
Kim Guldstrand Larsen, Tim Willemse - Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen, Tim Willemse Formal Methods for Industrial Critical Systems Inglese 25.07.2019 Tascabile Fr. 70.00 6-7 settimane
Ruy de Queiroz, Maricarmen Martinez, Lawrence S. Moss - Logic, Language, Information, and Computation
Ruy de Queiroz, Maricarmen Martinez, Lawrence S. Moss Logic, Language, Information, and Computation Inglese 27.06.2018 Tascabile Fr. 92.00 6-7 settimane
Fabio Fioravanti, John P. Gallagher - Logic-Based Program Synthesis and Transformation
Fabio Fioravanti, John P. Gallagher Logic-Based Program Synthesis and Transformation Inglese 10.07.2018 Tascabile Fr. 70.00 6-7 settimane
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef - Intelligent Computer Mathematics
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef Intelligent Computer Mathematics Inglese 18.07.2018 Tascabile Fr. 70.00 6-7 settimane
Cliff Jones, Ji Wang, Naijun Zhan - Symposium on Real-Time and Hybrid Systems
Cliff Jones, Ji Wang, Naijun Zhan Symposium on Real-Time and Hybrid Systems Inglese 29.09.2018 Tascabile Fr. 70.00 6-7 settimane
Susanne Graf, Kim G. Larsen, Tiziana Margaria - Models, Mindsets, Meta: The What, the How, and the Why Not?
Susanne Graf, Kim G. Larsen, Tiziana Margaria Models, Mindsets, Meta: The What, the How, and the Why Not? Inglese 26.06.2019 Tascabile Fr. 70.00 6-7 settimane
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka - Trends in Functional Programming
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka Trends in Functional Programming Inglese 24.04.2019 Tascabile Fr. 77.00 6-7 settimane
Alessio Malizia, Anders Morch, Alan Serrano, Andrew Stratton, Stefano Valtolina - End-User Development
Alessio Malizia, Anders Morch, Alan Serrano, Andrew Stratton, Stefano Valtolina End-User Development Inglese 03.07.2019 Tascabile Fr. 82.00 6-7 settimane
Lars Braubach, Loli Burgueño, Nima Kaviani, Manuel Lama, Naouel Moha, Juan M. Murillo... - Service-Oriented Computing - ICSOC 2017 Workshops
Lars Braubach, Loli Burgueño, Nima Kaviani, Manuel Lama, Naouel Moha, Juan M. Murillo... Service-Oriented Computing - ICSOC 2017 Workshops Inglese 16.06.2018 Tascabile Fr. 70.00 6-7 settimane
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni - Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Programming Multi-Agent Systems Inglese 23.02.2005 Tascabile Fr. 70.00 6-7 settimane
Gerwin Klein, Tobias Nipkow - Concrete Semantics
Gerwin Klein, Tobias Nipkow Concrete Semantics Inglese 15.12.2014 Copertina rigida Fr. 104.00 6-7 settimane
Alwyn Goodloe, Suzette Person - NASA Formal Methods
Alwyn Goodloe, Suzette Person NASA Formal Methods Inglese 27.03.2012 Tascabile Fr. 70.00 6-7 settimane
Dragan Bosnacki, Stefan Edelkamp - Model Checking Software
Dragan Bosnacki, Stefan Edelkamp Model Checking Software Inglese 21.06.2007 Tascabile Fr. 70.00 6-7 settimane
Aaron Dutle, César Muñoz, Anthony Narkawicz - NASA Formal Methods
Aaron Dutle, César Muñoz, Anthony Narkawicz NASA Formal Methods Inglese 11.03.2018 Tascabile Fr. 70.00 6-7 settimane
Sanjai Rayadurgam, Oksana Tkachuk - NASA Formal Methods
Sanjai Rayadurgam, Oksana Tkachuk NASA Formal Methods Inglese 04.06.2016 Tascabile Fr. 91.00 6-7 settimane
Asaf Adi, Suzette Stoutenburg, Said Tabet - Rules and Rule Markup Languages for the Semantic Web
Asaf Adi, Suzette Stoutenburg, Said Tabet Rules and Rule Markup Languages for the Semantic Web Inglese 04.11.2005 Tascabile Fr. 70.00 6-7 settimane
Jean-Marie Jacquet, Mieke Massink - Coordination Models and Languages
Jean-Marie Jacquet, Mieke Massink Coordination Models and Languages Inglese 27.05.2017 Tascabile Fr. 70.00 6-7 settimane
Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Inglese 01.03.2016 Tascabile Fr. 70.00 6-7 settimane