The Way of Z: Practical Programming with Formal Methods
This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing.
Country | USA |
Brand | Springer |
Manufacturer | Springer |
Binding | Paperback |
ItemPartNumber | 29530467 |
ReleaseDate | 2017-08-10 |
UnitCount | 1 |
EANs | 9783319640204 |