Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.).

Author/creator WS-FM 2006
Other author Bravetti, Mario.
Other author Núñez, Manuel, Profesor.
Other author Zavattaro, Gianluigi.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionx, 287 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects

Portion of title WS-FM 2006
SeriesLecture notes in computer science, 0302-9743 ; 4184
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2006931574
ISBN3540388621 (pbk.)
ISBN9783540388623

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available