Formal Methods in Computer Science
CRC Press
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Compare prices (1 shop)
| shop | Price | Action |
|---|---|---|
|
80,99 GBP | Go to shop |
Similar products
-
-
Computational Methods in Engineering and Science
From 555,00 EUR -
-
-
Soft Computing Methods in Human Sciences
From 39,99 EUR -
Formal Methods in Musicology: Models and Computation
From 77,99 EUR