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

Name: Abstract State Machines, Alloy, B, TLA, VDM, and Z
Brand: Springer International Publishing AG
SKU: 9783319335995
Price: 19861 HUF
Availability: InStock

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

Szerző: Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 861 Ft

This book§constitutes the refereed proceedings of the 5th International Conference on Abstract§State...

Információk a könyvről

Szerző

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

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2016

oldal

426

EAN

9783319335995

ISBN

3319335995

Enbook ID

02975370

Kiadó

Springer International Publishing AG

Súly

682

Méretek

155 x 235 x 235

Teljes leírás

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

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

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

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták