Formal Techniques for Computer Systems and Business Processes
Author | : Mario Bravetti |
Publisher | : Springer |
Total Pages | : 361 |
Release | : 2005-11-15 |
ISBN-13 | : 9783540319030 |
ISBN-10 | : 3540319034 |
Rating | : 4/5 (34 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.