Formal Techniques for Computer Systems and Business Processes [electronic resource] : 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 / edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro.
By: Bravetti, Mario.
Contributor(s): Kloul, Leïla | Zavattaro, Gianluigi | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 3670.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Description: digital.ISBN: 9783540319030.Subject(s): Computer science | Computer Communication Networks | Computer system performance | Software engineering | Logic design | Computer Science | Software Engineering | Computer Communication Networks | Logics and Meanings of Programs | System Performance and Evaluation | Computers and SocietyDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.