search for books and compare prices
Abstract State Machines, Alloy, B, Tla, Vdm, and Z: 5th International Conference
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
With Atif Mashkoor (other contributor), Klaus-Dieter Schewe (other contributor), Michael Butler (other contributor) |
from Springer Verlag (May 31, 2016)
9783319335995 | details & prices | List price $94.00