Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Atsush Igarashi, Atsushi Igarashi - Programming Languages and Systems
Atsush Igarashi, Atsushi Igarashi Programming Languages and Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez - Runtime Verification
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez Runtime Verification Inglese 30.11.2016 Tascabile Fr. 70.00 6-7 settimane
Eugeni Cinquemani, Eugenio Cinquemani, Donzé, Donzé, Alexandre Donzé - Hybrid Systems Biology
Eugeni Cinquemani, Eugenio Cinquemani, Donzé, Donzé, Alexandre Donzé Hybrid Systems Biology Inglese 30.11.2016 Tascabile Fr. 59.50 6-7 settimane
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Inglese 01.01.2016 Tascabile Fr. 135.00 6-7 settimane
David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu - Intelligent Information Processing VII
David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu Intelligent Information Processing VII Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Hana Chockler, Danie Kroening, Daniel Kroening, Leonardo Mariani, Leonardo Mariani et al, Natasha Sharygina - Validation of Evolving Software
Hana Chockler, Danie Kroening, Daniel Kroening, Leonardo Mariani, Leonardo Mariani et al, Natasha Sharygina Validation of Evolving Software Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell - Agent-Oriented Software Engineering IV
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell Agent-Oriented Software Engineering IV Inglese 01.01.2004 Tascabile Fr. 70.00 6-7 settimane
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt - Computer Aided Verification
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt Computer Aided Verification Inglese 01.01.2003 Tascabile Fr. 70.00 6-7 settimane
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods Inglese 01.01.2016 Tascabile Fr. 110.00 6-7 settimane
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding - Foundations of Software Science and Computation Structures
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding Foundations of Software Science and Computation Structures Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin Tools and Algorithms for the Construction and Analysis of Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Pete Thiemann, Peter Thiemann - Programming Languages and Systems
Pete Thiemann, Peter Thiemann Programming Languages and Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... - Model Checking Software
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... Model Checking Software Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski - Foundations of Software Science and Computation Structures
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski Foundations of Software Science and Computation Structures Inglese 31.12.2017 Tascabile Fr. 70.00 6-7 settimane
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux - Verification, Model Checking, and Abstract Interpretation
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux Verification, Model Checking, and Abstract Interpretation Inglese 31.03.2017 Tascabile Fr. 70.00 6-7 settimane
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... - Model Checking Software
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... Model Checking Software Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Igo Potapov, Igor Potapov, Reynier, Reynier, Pierre-Alain Reynier - Reachability Problems
Igo Potapov, Igor Potapov, Reynier, Reynier, Pierre-Alain Reynier Reachability Problems Inglese 31.10.2018 Tascabile Fr. 70.00 6-7 settimane