Formal Method – Industrial Used from Model to the Code
Autor J–L Boulanger
10 mai 2012
Hardback
Preț: 786.47 lei 1165.24 lei
Indisponibil temporar
-33%
J–L Boulanger
Static Analysis of Software: The Abstract Interpre tation
Autor J–L Boulanger
24 noi 2011
Hardback
Preț: 784.61 lei 1386.93 lei
Indisponibil temporar
-43%