Antonio Cerone grāmatas
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Antonio Cerone, Siraj Ahmed Shaikh, Gerardo Schneider, Markus Roggenbach, Bernd-Holger Schlingloff
-25% ar kodu BOOKS
Piegādātāja noliktavā
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Antonio Cerone, Siraj Ahmed Shaikh, Gerardo Schneider, Markus Roggenbach, Bernd-Holger Schlingloff
-25% ar kodu BOOKS
Piegādātāja noliktavā
Theoretical Aspects of Computing -- ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
Antonio Cerone, Pekka Pihlajasaari
-25% ar kodu BOOKS
Piegādātāja noliktavā