libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Il prodotto non è più presente nel nostro catalogo
Bjørner Dines (Curatore); Hoare C.A.R. (Curatore); Langmaack Hans (Curatore) - VDM '90. VDM and Z - Formal Methods in Software Development

VDM '90. VDM and Z - Formal Methods in Software Development

; ;
Editore: Springer Berlin Heidelberg