Limit search to available items
Record 13 of 25
Previous Record Next Record
Book Cover
Author EPEW (Workshop) (2005 : Versailles, France)

Title Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings / Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
Published Berlin ; New York : Springer, ©2005
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xiii, 348 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 3670
Lecture notes in computer science ; 3670. 0302-9743
Bibliography Includes bibliographical references and index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
Print version record
Subject Computer systems -- Evaluation -- Congresses.
Telecommunication systems -- Evaluation -- Congresses.
Formal methods (Computer science) -- Congresses.
Web services -- Congresses.
Form Electronic book
Author Bravetti, Mario.
Kloul, Leïla.
Zavattaro, Gianluigi.
International Workshop on Web Services and Formal Methods (2005 : Versailles, France)
ISBN 9783540319030
3540287019 (paperback)
9783540287018 (paperback)
Other Titles EPEW 2005
WS-FM 2005