Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Rigorous State-Based Methods

Rigorous State-Based Methods

av Uwe Glässer

del av Lecture Notes in Computer Science-serien

Rigorous State-Based Methods av Uwe Glässer
Om Rigorous State-Based Methods

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783031331626
  • Format:
  • Häftad
  • Sidor:
  • 396
  • Utgiven:
  • 15. maj 2023
  • Utgåva:
  • 23001
  • Mått:
  • 155x22x235 mm.
  • Vikt:
  • 598 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 18. december 2024

Om Uwe Glässer

Se alla böcker av Uwe Glässer

Beskrivning av Rigorous State-Based Methods

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.
The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

Användarnas betyg av Rigorous State-Based Methods



Andra köpte även...
Hitta liknande böcker
Boken Rigorous State-Based Methods finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.