Utvidet returrett til 31. januar 2025

Rigorous State-Based Methods

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783031331626
  • Bindende:
  • Paperback
  • Sider:
  • 396
  • Utgitt:
  • 15. mai 2023
  • Utgave:
  • 23001
  • Dimensjoner:
  • 155x22x235 mm.
  • Vekt:
  • 598 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 7. desember 2024

Beskrivelse 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.

Brukervurderinger av Rigorous State-Based Methods



Finn lignende bøker
Boken Rigorous State-Based Methods finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.