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
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
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
3.19 EUR
Prix mis à jour le: 17-05-2026 20:36:23 Produit utilisé
3.19 EUR
Prix mis à jour le: 17-05-2026 20:36:23 Produit utilisé | Identifiants | |
|---|---|
| ISBN | Ruggles, Clive L.N. 3540195777 |
| MPN | Ruggles, Clive L.N. biography |
| Dimensions / poids | |
| Fonctionnalités clés | |
Ruggles, Clive L.N.


![Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science) - [Version Originale]](https://www.consumerstore.com/img/954/a056cbc10bb055fe126667954.jpg)



