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