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 /

Saved in:
Bibliographic Details
Corporate Authors: EPEW (Workshop) Versailles, France), SpringerLink (Online service), International Workshop on Web Services and Formal Methods
Other Authors: Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2005.
Series:Lecture notes in computer science ; 3670.
Physical Description:
1 online resource (xiii, 348 pages) : illustrations.
Subjects:
Computer systems -- Evaluation -- Congresses.
Telecommunication systems -- Evaluation -- Congresses.
Formal methods (Computer science) -- Congresses.
Web services -- Congresses.
Online Access:SpringerLink - Click here for access
Description
Access Restrictions:
Restrictions unspecified
Reproduction:
Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010.
System Details:
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. http://purl.oclc.org/DLF/benchrepro0212
Format: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.
Physical Description:
1 online resource (xiii, 348 pages) : illustrations.
Bibliography:Includes bibliographical references and index.
ISBN:9783540319030
3540319034
3540287019
9783540287018
ISSN:0302-9743 ;

Similar Items