Web Services and Formal Methods
- 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
Normalpris
kr. 414,95
Medlemspris
kr. 389,95
- Du sparer kr. 25,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-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.
Detaljer
- SprogEngelsk
- Sidetal143
- Udgivelsesdato23-04-2012
- ISBN139783642298332
- Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
- 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
- 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
- Virksomhedssoftware
- 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
- 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
- Data warehouse
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Datakommunikation og computernetværk
- Systemadministration
- 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
- Menneske-maskine-interaktion
- Brugergrænsefladedesign og brugervenlighed
- Web Services and Formal Methods