Web Services and Formal Methods
- 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
Normalpris
kr. 334,95
Medlemspris
kr. 314,95
- Du sparer kr. 20,00
- Fri fragt
-
Leveringstid: 2-3 uger (Sendes fra fjernlager) Forventet levering: 09-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
Detaljer
- SprogEngelsk
- Sidetal189
- Udgivelsesdato25-07-2014
- ISBN139783319082592
- Forlag Springer International Publishing AG
- 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
- Erhvervsliv, virksomheder og ledelse
- Ledelse og ledelsesteknikker
- Videnstyring
- Web Services and Formal Methods
- Fagbøger
- Erhvervsliv, virksomheder og ledelse
- Matematik for økonomer og forretningssystemer
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informationsteknologi: generelle emner
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Computere og hardware
- Vedligeholdelse og reparation
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Kompilatorer og fortolkere
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Programmeringssprog og scriptsprog
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Softwareudvikling
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Databaser
- Informationssøgning og informationsgenfinding
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Anvendt databehandling
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Dataarkitektur og logisk design
- Web Services and Formal Methods