Location & Availability for: Web services and formal methods : 8th In

 Staff view

You must be logged in to Tag Records

Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised selected papers /

Marco Carbone, Jean-Marc Petit (eds.).

Book Cover
Names: Carbone, Marco. | Petit, Jean-Marc.
Published: Berlin ; Springer, ©2012.
Series: Lecture notes in computer science ; 7176.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Web services - Congresses. | Formal methods (Computer science) - Congresses. | Informatique.
Genres: Electronic books. | Conference papers and proceedings.
Online Access: SpringerLink - Full text online
Tags: Add


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


University of Illinois at Urbana-Champaign

Loading Holdings Data ... Loading

Location & Availability for: Web services and formal methods : 8th In