Formal Method – Industrial Used from Model to the Code Autor J–L Boulanger 10 mai 2012 Hardback Preț: 791.03 lei 1165.27 lei Indisponibil temporar -32%
Static Analysis of Software: The Abstract Interpre tation Autor J–L Boulanger 24 noi 2011 Hardback Preț: 789.15 lei 1386.99 lei Indisponibil temporar -43%