An edition of Abstract State Machines, Alloy, B, TLA, VDM, and Z (2014)

Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

by and

  • ★★★★ 4.00 ·
  • 1 Rating
  • 0 Want to read
  • 0 Currently reading
  • 1 Have read
Cover of: Abstract State Machines, Alloy, B, TLA, VDM, and Z by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • ★★★★ 4.00 ·
  • 1 Rating
  • 0 Want to read
  • 0 Currently reading
  • 1 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 7, 2022 | History
Edit
An edition of Abstract State Machines, Alloy, B, TLA, VDM, and Z (2014)

Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

by and

  • ★★★★ 4.00 ·
  • 1 Rating
  • 0 Want to read
  • 0 Currently reading
  • 1 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Pages
447

Check nearby libraries

Buy this book

Subjects
Machine learning, Machine theory, Computer science, Software engineering, Programming languages (electronic computers), Logic, symbolic and mathematical, Logic design, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Computation by Abstract Devices

Showing 3 featured editions. View all 3 editions?

Edition Availability
Cover of: Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
May 11, 2016, Springer
paperback
  • Not in Library
Libraries near you: WorldCat
Cover of: Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
May 21, 2014, Springer
paperback
Libraries near you: WorldCat
Cover of: Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
2014, Springer
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Source title: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science (9675))

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Format
paperback
Number of pages
447

ID Numbers

Open Library
OL28270683M
ISBN 10
3319335995
ISBN 13
9783319335995

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
December 7, 2022 Edited by MARC Bot import existing book
October 5, 2021 Edited by ImportBot import existing book
October 5, 2021 Edited by ImportBot import existing book
May 16, 2020 Created by ImportBot import new book