Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
- Bindende:
- Paperback
- Sider:
- 426
- Utgitt:
- 11 mai 2016
- Utgave:
- 12016
- Dimensjoner:
- 155x235x23 mm.
- Vekt:
- 682 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 30 oktober 2024
Beskrivelse av 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.
Brukervurderinger av Abstract State Machines, Alloy, B, TLA, VDM, and Z
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Abstract State Machines, Alloy, B, TLA, VDM, and Z finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
