antonio cerone
Theoretical Aspects of Computing -- ICTAC 2011
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical...
Theoretical Aspects of Computing - ICTAC 2006
EbookSofort lieferbarThis book constitutes the refereed proceedings of the Third International Colloquium on Theoretic...
Software Engineering and Formal Methods
EbookSofort lieferbarThis book constitutes revised selected papers from the five workshops collocated with the 15th In...
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
EbookSofort lieferbarThis book constitutes revised selected papers from the following SEFM 2012 satellite events: InSu...
Formal Methods. FM 2019 International Workshops
EbookSofort lieferbarThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...
Formal Methods. FM 2019 International Workshops
EbookSofort lieferbarThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...
Formal Methods - Fun for Everybody
EbookSofort lieferbarThis volume constitutes the post-workshop proceedings of the First International Workshop on Form...
Software Engineering and Formal Methods
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 18th International Conference on Software E...
Theoretical Aspects of Computing - ICTAC 2021
EbookSofort lieferbarThis book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects...
Formal Methods for Software Engineering
EbookSofort lieferbarSoftware programs are formal entities with precise meanings independent of their programmers, so ...
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
EbookSofort lieferbarThis volume constitutes revised selected papers from the four workshops collocated with the 19th ...
Formal Methods for an Informal World
EbookSofort lieferbarThis volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Asp...