Enlarge

Web services and formal methods : 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers

Publication Data

Title Web services and formal methods : 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers
Contributors Mario Bravetti, Tevfik Bultan
Publisher Springer
Publication date 2011
Publication location Heidelberg
Language English

Topics

Web services :: Congresses
Formal methods (Computer science) :: Congresses

Catalogue Data

OBNB ID GBB148675
ISBN 10 3642195881
ISBN 13 9783642195884
Type BibliographicResource, Book
Dewey Classification 006.76

ISBD

P1053 viii, 190 p.
P1042 Includes bibliographical references and author index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Web services and formal methods : 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers. ISBN 9783642195884. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.