Biblioteca da Universidade do Minho

Your cart is empty.
International Symposium of VDM Europe,, 3, VDM'90 : VDM and Z - formal methods in software development / Tird International Symposium of VDM Europe ; ed. D. Bjorner, C. A. R. Hoare, H. Langmaack

VDM'90 : VDM and Z - formal methods in software development / Tird International Symposium of VDM Europe ; ed. D. Bjorner, C. A. R. Hoare, H. Langmaack . - Berlin : Springer-Verlag, cop. 1990 . - XVII, 579 p. 24 cm . - (Lecture notes in computer science; 428))
3-540-5213-0 (Brochado)

519.6