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

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
561,95 kr.

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

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. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

Vis mere

Sprog:
Engelsk

ISBN:
9783319335995

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
426

Udgivet:
11. Maj 2016

Udgave:
12016

Størrelse:
155x235x23 mm.

Vægt:
682 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 23. Oktober 2024

På lager

Normalpris

561,95 kr. + Fragt
~~561,95 kr.~~

Medlemspris

511,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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

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. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

Brugerbedømmelser af Abstract State Machines, Alloy, B, TLA, VDM, and Z

Andre købte også..

Find lignende bøger

Bogen Abstract State Machines, Alloy, B, TLA, VDM, and Z findes i følgende kategorier:

Business og læring > Computer og IT

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

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

Brugerbedømmelser af Abstract State Machines, Alloy, B, TLA, VDM, and Z

Gør som tusindvis af andre bogelskere