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

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

AvMiklos Biro,Atif Mashkoor

E-bok
PDF, Engelska, 2016

734 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning

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

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Atif Mashkoor, Qing Wang, Bernhard Thalheim - Models, Häftad

Models

Atif Mashkoor, Qing Wang, Bernhard Thalheim

Häftad, 2018

249 kr

Michael Granitzer, Benno Stein, Christin Seifert, Bernhard Moser, Jorge Martinez-Gil, Anna Fensel, Xabier Larrucea, Johannes Sametinger, Atif Mashkoor, Mourad Elloumi, Ismail Khalil, A Min Tjoa, Gabriele Anderst-Kotsis - Database and Expert Systems Applications, E-bok

Database and Expert Systems Applications

Michael Granitzer, Benno Stein, Christin Seifert, Bernhard Moser, Jorge Martinez-Gil, Anna Fensel, Xabier Larrucea, Johannes Sametinger, Atif Mashkoor, Mourad Elloumi, Ismail Khalil, A Min Tjoa, Gabriele Anderst-Kotsis

E-bok
2019

708 kr

Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Lukas Fischer, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Anna Fensel, Jorge Martinez-Gil - Database and Expert Systems Applications, Häftad
Del 1285

Database and Expert Systems Applications

Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Lukas Fischer, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Anna Fensel, Jorge Martinez-Gil

Häftad, 2020

565 kr