Web services and formal methods 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
Web services and formal methods 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings / [electronic resource] :
WS-FM 2007
Marlon Dumas, Reiko Heckel (eds.).
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- viii, 168 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 4937 0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering .
Includes bibliographical references and index.
9783540792307 (electronic bk.) 9783540792291 (paper)
Web services--Congresses.
Formal methods (Computer science)--Congresses.
Computer Science.
Computer Communication Networks.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Software Engineering.
System Performance and Evaluation.
005.43
Includes bibliographical references and index.
9783540792307 (electronic bk.) 9783540792291 (paper)
Web services--Congresses.
Formal methods (Computer science)--Congresses.
Computer Science.
Computer Communication Networks.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Software Engineering.
System Performance and Evaluation.
005.43