Formal Methods in Standards: A Report from the Bcs Working Group - Derek J. Andrews | DealShopping France
  1. Page d’accueil
  2. Médias
  3. Livres
  4. 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
  • #

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

3.19 EUR

Partager:

Produits connexes

Handbook Of Formal Methods In Humancompu

Handbook Of Formal Methods In Humancompu

271.88 EUR
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]

82.67 EUR
The Formal Method in Literary Scholarship

The Formal Method in Literary Scholarship

36.90 EUR
Formal Methods in Human-computer Interaction

Formal Methods in Human-computer Interaction

70.96 EUR
Formal Methods in Policy Formulation

Formal Methods in Policy Formulation

150.47 EUR
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

1.00 EUR