Raamatud Antonio Cerone
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Antonio Cerone, Siraj Ahmed Shaikh, Gerardo Schneider, Markus Roggenbach, Bernd-Holger Schlingloff
-25% koodiga BOOKS
Meie tarnija laos
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Antonio Cerone, Siraj Ahmed Shaikh, Gerardo Schneider, Markus Roggenbach, Bernd-Holger Schlingloff
-25% koodiga BOOKS
Meie tarnija laos
Theoretical Aspects of Computing -- ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
Antonio Cerone, Pekka Pihlajasaari
-25% koodiga BOOKS
Meie tarnija laos