Abstract State Machines, Alloy, B, TLA, VDM, and Z / Lecture Notes in Computer Science Bd.10817 (PDF)

Name: Abstract State Machines, Alloy, B, TLA, VDM, and Z / Lecture Notes in Computer Science Bd.10817
Brand: Springer-Verlag GmbH
SKU: 101400124
Price: 54.99 EUR
Availability: OnlineOnly

6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (Sprache: Englisch)

Schreiben Sie einen Kommentar zu "Abstract State Machines, Alloy, B, TLA, VDM, and Z / Lecture Notes in Computer Science Bd.10817".

Merken

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...

Mehr zum Inhalt Video

eBook (pdf) 54.99 €

Buch (Kartoniert) 54.99 €

sofort als Download lieferbar

Bestellnummer: 101400124

eBook (pdf) 54.99 €

Download bestellen

Verschenken

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Abstract State Machines, Alloy, B, TLA, VDM, and Z / Lecture Notes in Computer Science Bd.10817 (PDF)“

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.