- Nyhet
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
E-bok
PDF, Engelska, 2016732 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
Del 9675
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
Häftad, 2016
572 kr
Database and Expert Systems Applications - DEXA 2021 Workshops
Sohail Khan, Florian Sobieczky, Gerald Czech, Lukas Fischer, Jorge Martinez-Gil, Anna Fensel, Johannes Sametinger, Atif Mashkoor, Bernhard Moser, Ismail Khalil, A Min Tjoa, Gabriele Kotsis
E-bok
2021739 kr
Database and Expert Systems Applications - DEXA 2024 Workshops
Sabrina Luftensteiner, Michael Mayr, Anna-Christina Glock, Johannes Sametinger, Atif Mashkoor, Lukas Fischer, Bernhard Moser
E-bok
20241 642 kr
Database and Expert Systems Applications - DEXA 2023 Workshops
Maqbool Khan, Johannes Sametinger, Atif Mashkoor, Bernhard Moser, Ismail Khalil, A Min Tjoa, Gabriele Kotsis
E-bok
2023903 kr
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
2019739 kr
Database and Expert Systems Applications - DEXA 2022 Workshops
Gerald Czech, Maqbool Khan, Rudolf Ramler, Lukas Fischer, Florian Sobieczky, Jorge Martinez-Gil, Johannes Sametinger, Atif Mashkoor, Alfred Taudes, Bernhard Moser, Ismail Khalil, A Min Tjoa, Gabriele Kotsis
E-bok
20221 798 kr
Del 1479
Database and Expert Systems Applications - DEXA 2021 Workshops
Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Anna Fensel, Jorge Martinez-Gil, Lukas Fischer, Gerald Czech, Florian Sobieczky, Sohail Khan
Häftad, 2021
572 kr
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
573 kr