Rigorous State-Based Methods
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
- Indgår i serie
Normalpris
kr. 534,95
Medlemspris
kr. 499,95
- Du sparer kr. 35,00
- Fri fragt
-
Leveringstid: 7-9 Hverdage (Sendes fra fjernlager) Forventet levering: 27-02-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.
The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.
Detaljer
- SprogEngelsk
- Sidetal385
- Udgivelsesdato25-07-2024
- ISBN139783031637896
- Forlag Springer International Publishing AG
- MålgruppeFrom age 0
- FormatPaperback
Størrelse og vægt
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Computere og hardware
- Rigorous State-Based Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Kompilatorer og fortolkere
- Rigorous State-Based Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Rigorous State-Based Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Kunstig intelligens
- Rigorous State-Based Methods