Integration of Software Specification Techniques for Applications in Engineering Editat de Hartmut Ehrig et al. 22 sep 2004 Paperback Preț: 353.37 lei 441.71 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%