Studiebog

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

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

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Theoretical Computer Science and General Issues

Normalpris: kr. 419,95

Medlemspris: kr. 399,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 28-11-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal426
Udgivelsesdato11-05-2016
ISBN139783319335995
Forlag Springer International Publishing AG
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

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

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

Findes i disse kategorier...

Se andre, der handler om...