User Reviews for: Web services and formal methods : 9th In

 Staff view

You must be logged in to Tag Records

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers /

edited by Maurice H. ter Beek, Niels Lohmann.

Book Cover
Names: Beek, Maurice H. ter, | Lohmann, N.
Published: Berlin ; New York : Springer, [2013]
Series: Lecture notes in computer science ; 7843.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Web services - Congresses. | Formal methods (Computer science) - Congresses. | Computer Communication Networks. | Information Services. | Intenet.
Genres: Electronic books. | Conference papers and proceedings. | Ebook. | Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Please log in to add reviews or comments to the public catalog.
To communicate with library staff, use the Feedback link.

User Reviews for: Web services and formal methods : 9th In