TY  - BOOK
AU  - Bernardo,Marco
AU  - Padovani,Luca
AU  - Zavattaro,Gianluigi
ED  - International School on Formal Methods for the Design of Computer, Communication, and Software Systems
TI  - 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 
T2  - Lecture notes in computer science,
SN  - 9783642019173 (pbk.)
AV  - QA76.9.F67 F51
PY  - 2009///
CY  - Berlin, New York
PB  - Springer
KW  -  
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Internet
KW  - Web Services
KW  - Formale Methode
KW  - Kongress
KW  - Bertinoro <2009>
KW  - Serviceorientierte Architektur
KW  - swd
KW  - Bertinoro (2009)
N1  - Includes bibliographical references and index
UR  - http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017583423&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
UR  - http://d-nb.info/993987737/04
ER  -