Publisher's Synopsis
Abstract State Machines, Alloy, B, VDM, and Z
Paperback (02 Jan 2013)
Not available for sale
Includes delivery to the United States
Out of stock
Abstract State Machines, Alloy, B, VDM, and Z
ISBN: | 9783642308864 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 02 Jan 2013 |
Language: | English |
Number of pages: | 396 |
Weight: | 554g |
Height: | 234mm |
Width: | 156mm |