Web Services and Formal Methods
- 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. 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-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.
Detaljer
- SprogEngelsk
- Sidetal191
- Udgivelsesdato31-03-2011
- ISBN139783642195884
- 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
- Internet: generelt
- 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
- 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
- Databaser
- Informationssøgning og informationsgenfinding
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Datakommunikation og computernetværk
- 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
- Systemanalyse og systemdesign
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Dataarkitektur og logisk design
- Web Services and Formal Methods