Formal Methods in Standards: A Report from the Bcs Working Group - Derek J. Andrews, Ann Wrightson, Nik Tetteh-Lartey, Clive L. N. Ruggles, Robert Neely, Clive Ruggles, David Blyth, Rick Thomas, David Duce, Patrick Hall et Cornelia Boldyreff

Où acheter (1) Caractéristiques

Sponsorisé

Formal Methods in Standards: A Report from the Bcs Working Group - Derek J. Andrews, Ann Wrightson, Nik Tetteh-Lartey, Clive L. N. Ruggles, Robert Neely, Clive Ruggles, David Blyth, Rick Thomas, David Duce, Patrick Hall et Cornelia Boldyreff

ammareal.fr
Produit utilisé

3.19 EUR

Prix mis à jour le: 27-05-2026 14:27:17

Voir l'offre

Général

Marque

Ruggles, Clive L.N.

ISBN

Ruggles, Clive L.N. 3540195777

MPN

Ruggles, Clive L.N. biography

Caractéristiques

Produits similaires

Vdm '90. Vdm and Z

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

Handbook Of Formal Methods In Humancompu

Handbook Of Formal Methods In Humancompu

Formal Methods in Policy Formulation

Formal Methods in Policy Formulation

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science) - [Version Originale]

The Formal Method in Literary Scholarship

The Formal Method in Literary Scholarship

Formal Methods in Human-computer Interaction

Formal Methods in Human-computer Interaction