Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf.

Bruni, Roberto. (editor.). Wolf, Karsten. (editor.). SpringerLink (Online service) (Added Author).

E-book

Add to basket Remove from basket

Print / Email

Permalink

Disable Highlighting

Electronic resources

Record details

• ISBN: 9783642013645
• Physical Description: online resource.
• Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Search for related items by subject

Search for related items by series

• Lecture Notes in Computer Science, 0302-9743 ; 5387
• Lecture Notes in Computer Science, 0302-9743 ; 5387