-
France
Pays International
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
Sponsorisé
ammareal.fr
Produit utilisé
1.00 EUR
Prix mis à jour le: 05-06-2026 13:11:06
Général
Marque
Springer
