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 / Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.).

Author/creator International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Other author Bernardo, Marco.
Other author Padovani, Luca.
Other author Zavattaro, Gianluigi.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionvi, 339 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects
Formal methods (Computer science)--Congresses.
Internet--Congresses.
Web Services--Formale Methode. --Kongress. --Bertinoro <2009>.
Web Services--Serviceorientierte Architektur. --Formale Methode. --Kongress. --Bertinoro <2009>.

SeriesLecture notes in computer science, 0302-9743 ; 5569
Tutorial
Lecture notes in computer science ; 5569. ^A466336
Lecture notes in computer science. Tutorial. ^A583079
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009938267
ISBN9783642019173 (pbk.)
ISBN364201917X (pbk.)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available