Studiebog DRM-beskyttet

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

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

Forfatter: info mangler

E-bog

Format
E-bog, PDF
Engelsk

Indgår i serie
Theoretical Computer Science and General Issues

E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris: kr. 449,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: Straks (sendes på e-mail)
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
Udgivelsesdato12-05-2016
ISBN139783319336008
Forlag Springer International Publishing
FormatPDF

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