Integration of Software Specification Techniques for Applications in Engineering Editat de Hartmut Ehrig et al. 22 sep 2004 Paperback Preț: 339.79 lei 424.74 lei 6-8 săpt. -20%
Computer Aided Verification Editat de Werner Damm et al. 2 iul 2007 Paperback Preț: 336.71 lei 420.88 lei 6-8 săpt. -20%