Iname Books

Discover Books & Audiobooks you will love!

Popular by Antonio Cerone Marco Autili Alessio Bucaioni Claudio Gomes Pierluigi Graziani Maurizio Palmieri Marco Temperini Gentiane Venture

Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luís Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro & David Delmas
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Antonio Cerone, Marco Autili, Alessio Bucaioni, Claudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini & Gentiane Venture
Formal Methods for an Informal World
Formal Methods for an Informal World
Antonio Cerone
Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
Antonio Cerone & Peter Csaba Ölveczky
Formal Methods for Software Engineering
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider & Siraj Ahmed Shaikh
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh & Ioannis Stamelos
Software Engineering and Formal Methods
Software Engineering and Formal Methods
Frank de Boer & Antonio Cerone
Software Engineering and Formal Methods
Software Engineering and Formal Methods
Antonio Cerone & Marco Roveri
Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luís Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro & David Delmas
Formal Methods – Fun for Everybody
Formal Methods – Fun for Everybody
Antonio Cerone & Markus Roggenbach
From Data to Models and Back
From Data to Models and Back
Giovanna Broccia & Antonio Cerone