Formal Techniques for Computer Systems and Business Processes

Formal Techniques for Computer Systems and Business Processes
Author :
Publisher : Springer
Total Pages : 361
Release :
ISBN-10 : 9783540319030
ISBN-13 : 3540319034
Rating : 4/5 (034 Downloads)

Book Synopsis Formal Techniques for Computer Systems and Business Processes by : Mario Bravetti

Download or read book Formal Techniques for Computer Systems and Business Processes written by Mario Bravetti and published by Springer. This book was released on 2005-11-15 with total page 361 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of two international workshops EPEW and WS-FM held at the Universite de Versailles Saint-Quentin-en-Yvelines, Versailles, France, 1–3 September 2005.


Formal Techniques for Computer Systems and Business Processes Related Books

Formal Techniques for Computer Systems and Business Processes
Language: en
Pages: 361
Authors: Mario Bravetti
Categories: Computers
Type: BOOK - Published: 2005-11-15 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of two international workshops EPEW and WS-FM held at the Universite de Versailles Saint-Quentin-en-Yvelines, Versailles, F
Formal Techniques for Computer Systems and Business Processes
Language: en
Pages: 372
Authors: Mario Bravetti
Categories: Computers
Type: BOOK - Published: 2005-08-25 - Publisher: Taylor & Francis

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (We
Formal Techniques for Computer Systems and Business Processes
Language: en
Pages:
Authors:
Categories: Computer systems
Type: BOOK - Published: 2005 - Publisher:

DOWNLOAD EBOOK

Formal Techniques for Networked and Distributed Systems - FORTE 2006
Language: en
Pages: 488
Authors: Elie Najm
Categories: Computers
Type: BOOK - Published: 2006-10-04 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Language: en
Pages: 378
Authors: John Derrick
Categories: Computers
Type: BOOK - Published: 2007-07-07 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT