Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, J... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Matematisk datateori
  6. Kunstig intelligens
  7. Informationsteknologi: generelle emner
  8. Computere og hardware
  9. Rigorous State-Based Methods: 8th International Conference,...

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

(Bog, Paperback / softback, Engelsk)
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Forlag: Springer Nature Switzerland 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

Computere og hardware Informationsteknologi: generelle emner Kompilatorer og fortolkere Kunstig intelligens Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2021
Udgivelsesdato 23-05-2021
Første udgivelsesår 2021
Serie Lecture Notes in Computer Science
Illustrationer 33 Illustrations, color; 8 Illustrations, black and white; X, 167 p. 41 illus., 33 illus. in color.
Fagredaktør Alexander Raschke, Dominique Mery
Originalsprog Switzerland
Sideantal 167
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 167 pages, 33 Illustrations, color; 8 Illustrations, black and white; X, 167 p. 41 illus., 33 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783030775421