1.
Theoretical Aspects of Computing - Ictac 2006 Third International Colloquium Tunis, Tunisia,...
by Barkaoui, Kamel, Cavalcanti...
ISBN: 9783540488156
List Price: $72.00
2.
Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg,...
by Cerone, Antonio, Pihlajasaa...
ISBN: 9783642232824
List Price: $72.00
3.
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterda...
by de Boer, Frank, Cerone, Ant...
ISBN: 9783030587673
4.
Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event...
by Cerone, Antonio, �lveczky, ...
ISBN: 9783030853143
5.
Formal Methods - Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norwa...
by Cerone, Antonio, Roggenbach...
ISBN: 9783030713737
6.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
by Roggenbach, Markus, Cerone,...
ISBN: 9783030387990
List Price: $89.99
7.
Information Technology and Open Source : Applications for Education, Innovation, and Sustain...
by Cerone, Antonio, Persico, D...
ISBN: 9783642543395
List Price: $24.99
OUT OF STOCK
See Availability on Amazon8.
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MS...
by Cerone, Antonio, Roveri, Marco
ISBN: 9783319747804
List Price: $107.00
OUT OF STOCK
See Availability on Amazon9.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
by Roggenbach, Markus, Cerone,...
ISBN: 9783030388027
10.
Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kaza...
by Cerone, Antonio
ISBN: 9783031436772
11.
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, Cosim-CPS, ...
by Cerone, Antonio, Autili, Ma...
ISBN: 9783031124280