Formal methods for web services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures /
Formal methods for web services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / [electronic resource] :
SFM 2009
edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- vi, 339 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5569 0302-9743 ; .
9783642019180 (electronic bk.) 9783642019173 (paper)
Formal methods (Computer science)--Congresses.
Internet--Congresses.
Information Systems Applications (incl.Internet)
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Computer Science.
Computer Systems Organization and Communication Networks.
QA76.9.F67 / I58 2009
005.131
9783642019180 (electronic bk.) 9783642019173 (paper)
Formal methods (Computer science)--Congresses.
Internet--Congresses.
Information Systems Applications (incl.Internet)
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Computer Science.
Computer Systems Organization and Communication Networks.
QA76.9.F67 / I58 2009
005.131