A

Antonio Cerone

12 books found

Books by Antonio Cerone
Formal Methods for an Informal WorldAntonio Cerone

Formal Methods for an Informal World

Antonio Cerone

2023No page data
Theoretical Aspects of Computing – ICTAC 2011Antonio Cerone

Theoretical Aspects of Computing – ICTAC 2011

Antonio Cerone

2011No page data
Formal Methods - Fun for EverybodyAntonio Cerone

Formal Methods - Fun for Everybody

Antonio Cerone

2021No page data
Software Engineering and Formal Methods : SEFM 2017 Collocated WorkshopsAntonio Cerone
⏱ 10h 2m

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops

Antonio Cerone

2018602 pp.
Theoretical aspects of computingKamel Barkaoui
⏱ 6h 11m

Theoretical aspects of computing

Kamel Barkaoui

2006371 pp.
Theoretical Aspects of Computing - ICTAC 2021Antonio Cerone
⏱ 6h 30m

Theoretical Aspects of Computing - ICTAC 2021

Antonio Cerone

2021390 pp.
Software Engineering and Formal MethodsFrank de Boer

Software Engineering and Formal Methods

Frank de Boer

2020No page data
Formal Methods for Software EngineeringMarkus Roggenbach
⏱ 7h 30m

Formal Methods for Software Engineering

Markus Roggenbach

2020450 pp.
Theoretical Aspects of Computing - ICTAC 2006Kamel Barkaoui

Theoretical Aspects of Computing - ICTAC 2006

Kamel Barkaoui

2006No page data
Software Engineering and Formal Methods. SEFM 2021 Collocated WorkshopsAntonio Cerone

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Antonio Cerone

2022No page data
Information Technology and Open Source : Applications for Education, Innovation, and SustainabilityAntonio Cerone
⏱ 5h 5m

Information Technology and Open Source : Applications for Education, Innovation, and Sustainability

Antonio Cerone

2014305 pp.
Information Technology and Open SourceAntonio Cerone
⏱ 5h 20m

Information Technology and Open Source

Antonio Cerone

2014320 pp.