Coverart for item
The Resource Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.), (electronic book) | (electronic book)

Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.), (electronic book) | (electronic book)

Label
Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Title
Abstract state machines, Alloy, B, TLA, VDM, and Z
Title remainder
6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Statement of responsibility
Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.)
Title variation
ABZ 2018
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z
Member of
Cataloging source
GW5XE
Dewey number
006.3/1
Illustrations
illustrations
Index
index present
LC call number
Q325.5
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2018
http://bibfra.me/vocab/lite/meetingName
ABZ (Conference)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1967-
http://library.link/vocab/relatedWorkOrContributorName
  • Butler, Michael
  • Raschke, Alexander
  • Hoang, Thai Son
  • Reichl, Klaus
http://library.link/vocab/subjectName
  • Machine learning
  • Machine theory
Label
Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.), (electronic book) | (electronic book)
Instantiates
Publication
Note
  • International conference proceedings
  • Includes author index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers
Extent
1 online resource (xiv, 432 pages)
Form of item
online
Isbn
9783319912707
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-91271-4
Other physical details
illustrations.
System control number
  • (OCoLC)1035633152
  • on1035633152
Label
Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.), (electronic book) | (electronic book)
Publication
Note
  • International conference proceedings
  • Includes author index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers
Extent
1 online resource (xiv, 432 pages)
Form of item
online
Isbn
9783319912707
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-91271-4
Other physical details
illustrations.
System control number
  • (OCoLC)1035633152
  • on1035633152

Library Locations

Processing Feedback ...