Location & Availability for: Abstract state machines, Alloy, B, TLA,

 Staff view

You must be logged in to Tag Records

Abstract state machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /

Yamine Ait Ameur, Klaus-Dieter Schewe (eds.).

Book Cover
Names: Aït-Ameur, Yamine, | Schewe, Klaus-Dieter,
Published: Heidelberg : Springer, 2014.
Series: Lecture notes in computer science ; 8477.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Topics: Machine learning - Congresses. | Machine theory - Congresses. | Computer Science. | Mathematical Logic and Formal Languages. | Logics and Meanings of Programs. | Computation by Abstract Devices.
Genres: Electronic books.
Online Access: SpringerLink Link to Abstract state machines, Alloy, B, TLA, VDM, and Z (access limited to Benedictine University patrons)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Benedictine University

Loading Holdings Data ... Loading

Location & Availability for: Abstract state machines, Alloy, B, TLA,