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é  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations

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

1.00 EUR
Prix mis à jour le: 22-04-2026 04:14:14 Produit utilisé
Voir l'offre
Identifiants
Dimensions / poids
Fonctionnalités clés
Springer