Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International | DealShopping France

Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-2 - Dines Bjorner, C. A. R. Hoare et Hans Langmaack

1.00 EUR

Sponsorisé

Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21 - Dines Bjorner, C. A. R. Hoare et Hans Langmaack

ammareal.fr

Produit utilisé

1.00 EUR

05-06-2026 13:11:06