Formal Aspects of Component Software
- Indbinding:
- Paperback
- Sideantal:
- 252
- Udgivet:
- 13. januar 2024
- Udgave:
- 24001
- Størrelse:
- 155x14x235 mm.
- Vægt:
- 388 g.
- 8-11 hverdage.
- 2. december 2024
På lager
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af Formal Aspects of Component Software
This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.
The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.
The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.
Brugerbedømmelser af Formal Aspects of Component Software
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Formal Aspects of Component Software findes i følgende kategorier:
- Business og læring > Computer og IT
- Sprog og lingvistik > Sprog: opslagsværker og generelle værker
- Reference, information og tværfaglige emner > Forskning og information: generelt > Informationsteori
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Algoritmer og datastrukturer
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Softwareudvikling
- Databehandling og informationsteknologi > Informatik > Matematisk datateori
- Databehandling og informationsteknologi > Informatik > Systemanalyse og systemdesign
- Databehandling og informationsteknologi > Informatik > Kunstig intelligens > Naturligt sprog og maskinoversættelse
© 2024 Pling BØGER Registered company number: DK43351621