Deductive Software Verification - The KeY Book
Editat de Wolfgang Ahrendt et al.
21 dec 2016
Paperback
Preț: 753.58 lei 941.98 lei
6-8 săpt.
-20%
Cărți de Peter H. Schmitt
Verification of Object-Oriented Software. The KeY Approach
Editat de Bernhard Beckert et al.
3 ian 2007
Paperback
Preț: 641.97 lei 802.46 lei
6-8 săpt.
-20%