Hits: 196
E-Book details
| Title | Abstract State Machines, Alloy, B, TLA, VDM, and Z |
| Author/Editor | Ait Ameur |
| Publication Year | 2014 |
| e-ISBN | 9783662436523 |
| Access online |
E-Book Summary
Contact us
| libper@iitk.ac.in |
| Title | Abstract State Machines, Alloy, B, TLA, VDM, and Z |
| Author/Editor | Ait Ameur |
| Publication Year | 2014 |
| e-ISBN | 9783662436523 |
| Access online |
| libper@iitk.ac.in |