Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Editat de Stefano Berardi et al.
19 iun 2009
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Cărți de Ferruccio Damiani
Types for Proofs and Programs
Editat de Stefano Berardi et al.
15 iun 2004
Paperback
Preț: 327.49 lei 409.37 lei
6-8 săpt.
-20%
Formal Verification of Object-Oriented Software
Editat de Bernhard Beckert et al.
19 iul 2012
Paperback
Preț: 292.01 lei 365.01 lei
6-8 săpt.
-20%
Integrated Formal Methods
Editat de Ferruccio Damiani et al.
16 noi 2025
Paperback
Preț: 440.54 lei 550.67 lei
6-8 săpt.
-20%
Formal Methods for Executable Software Models
Editat de Marco Bernardo et al.
21 mai 2014
Paperback
Preț: 323.83 lei 404.79 lei
6-8 săpt.
-20%
Active Object Languages: Current Research Trends
Editat de Frank de Boer et al.
29 ian 2024
Paperback
Preț: 488.09 lei 610.11 lei
6-8 săpt.
-20%
Formal Methods for Components and Objects
Editat de Bernhard Beckert et al.
3 ian 2013
Paperback
Preț: 324.63 lei 405.79 lei
6-8 săpt.
-20%
Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
Editat de Ferruccio Damiani et al.
6 iun 2021
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-20%