Catalogo · 9783031436772
Formal Methods for an Informal World
ISBN 9783031436772
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Theoretical aspects of computing
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
Theoretical Aspects of Computing – ICTAC 2011
Antonio Cerone
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Theoretical Aspects of Computing - ICTAC 2021
Antonio Cerone, Peter Csaba Ölveczky
Theoretical Aspects of Computing - ICTAC 2006
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
Software Engineering and Formal Methods
Frank de Boer, Antonio Cerone
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops
Antonio Cerone, Marco Roveri
Information Technology and Open Source
Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos
Information Technology and Open Source : Applications for Education, Innovation, and Sustainability
Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros
Formal Methods - Fun for Everybody
Antonio Cerone, Markus Roggenbach
Verba volant · scripta manent