Formal Techniques for Computer Systems and Business Processes
Download or Read eBook Formal Techniques for Computer Systems and Business Processes PDF 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.
Author | : Mario Bravetti |
Publisher | : Springer |
Total Pages | : 361 |
Release | : 2005-11-15 |
ISBN-10 | : 9783540319030 |
ISBN-13 | : 3540319034 |
Rating | : 4/5 (30 Downloads) |
Book Synopsis Formal Techniques for Computer Systems and Business Processes by : Mario Bravetti
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.