Hoppa till sidans huvudinnehåll

Del 9675 i serien Lecture Notes in Computer Science

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

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

Häftad, Engelska, 2016

AvMichael Butler,Klaus-Dieter Schewe,Atif Mashkoor,Miklos Biro

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

  • Utgivningsdatum2016-05-11
  • Mått155 x 235 x 25 mm
  • Vikt674 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor426
  • Upplaga16001
  • FörlagSpringer International Publishing AG
  • ISBN9783319335995

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

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

Database and Expert Systems Applications

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

Häftad, 2019

739 kr

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

Models

Atif Mashkoor, Qing Wang, Bernhard Thalheim

Häftad, 2018

339 kr

Michael Butler, Dennis Shryack - Gauntlet, Häftad

Gauntlet

Michael Butler, Dennis Shryack

Häftad, 2026

279 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

739 kr