Web Services and Formal Methods
- 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
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 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.
Detaljer
- SprogEngelsk
- Sidetal241
- Udgivelsesdato19-05-2009
- ISBN139783642013638
- 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
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Dataarkitektur og logisk design
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Algoritmer og datastrukturer
- 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
- 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
- Informatik
- Matematisk datateori
- Web Services and Formal Methods
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Computere og hardware
- Netværkskomponenter
- Web Services and Formal Methods