Formal Methods for Web Services [electronic resource] : 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 / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro.
By: Bernardo, Marco.
Contributor(s): Padovani, Luca | Zavattaro, Gianluigi | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5569.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642019180.Subject(s): Computer science | Computer network architectures | Software engineering | Information systems | Computer Science | Software Engineering | Software Engineering/Programming and Operating Systems | Programming Techniques | Programming Languages, Compilers, Interpreters | Information Systems Applications (incl.Internet) | Computer Systems Organization and Communication NetworksDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.