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, Cornelia Boldyreff
6.17 EUR
Prix mis à jour le: 15-08-2026 03:39:38 Produit utilisé
6.17 EUR
Prix mis à jour le: 15-08-2026 03:39:38 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)