Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Softwareudvikling
  6. Matematisk datateori
  7. Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th...

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

(Bog, Paperback / softback, Engelsk)
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Kompilatorer og fortolkere Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2016
Udgivelsesdato 11-05-2016
Første udgivelsesår 2016
Serie Lecture Notes in Computer Science
Illustrationer 143 Illustrations, black and white
Fagredaktør Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
Originalsprog Switzerland
Sideantal 426
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 426 pages, 143 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783319335995