Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (Lecture Notes in Computer Science)
by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (Lecture Notes in Computer Science)
by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
ISBN 13: 9783319912707
Format: Paperback
(448 pages)
Publisher: Springer
Published: 08 May 2018
Save for later
New : $60.48
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
