Le livre est actuellement en rupture de stock
En savoir plus sur le livre
The textbook offers a thorough introduction to formal methods, focusing on their use in specifying and verifying both software and hardware systems. It covers essential concepts and techniques, providing students with the foundational knowledge needed to understand and apply these methods effectively in practical scenarios.
Achat du livre
Formal Methods in Computer Science, Jiacun Wang, William Tepfenhart
- Langue
- Année de publication
- 2019
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.