Grafik für das Drucken der Seite Abbildung von Butler / Schewe | Abstract State Machines, Alloy, B, TLA, VDM, and Z | 1. Auflage | 2016 | beck-shop.de
eBook

Butler / Schewe / Mashkoor / Biro

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

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

sofort lieferbar!

Rezensionen ansehen

Standardpreis

53,49 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

Grafik Warenkorb In den Warenkorb Grafik Merkliste Auf die Merkliste

eBook. PDF

eBook

2016

426 S. XXI, 426 p. 143 illus..

In englischer Sprache

Springer International Publishing. ISBN 978-3-319-33600-8

Das Werk ist Teil der Reihe: Theoretical Computer Science and General Issues Lecture Notes in Computer Science

Produktbeschreibung

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Mehr anzeigen

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Autorinnen/Autoren

    • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:

        • Grafik Warenkorb In den Warenkorb Grafik 4-Wochen-Test für beck-online 4-Wochen-Test bestellen

        Grafik MerklisteAuf die Merkliste Nachricht, wenn verfügbar
        nach oben
        X

        Das Passwort muss mind. 8 Zeichen enthalten.
        (Darin sollte mind. ein Groß- und ein Kleinbuchstabe und mind. eine Ziffer enthalten sein.)

        Schließen

        Ihre Daten werden geladen ...