Books by Antonio Cerone
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Antonio Cerone, Siraj Ahmed Shaikh, Gerardo Schneider, Markus Roggenbach, Bernd-Holger Schlingloff
-20% with code BOOKS
In stock at our supplier
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Antonio Cerone, Siraj Ahmed Shaikh, Gerardo Schneider, Markus Roggenbach, Bernd-Holger Schlingloff
-20% with code BOOKS
In stock at our supplier
Theoretical Aspects of Computing -- ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
Antonio Cerone, Pekka Pihlajasaari
-20% with code BOOKS
In stock at our supplier