Buy Used and New Diego Latella Books

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642307287

Format: Paperback (360 pages)
Publisher: Springer
Published: 06 Jun 2012

Save for later

Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology)

by Ifip Tc6 Wg6 1 Joint International Confe,Tommaso Bolognesi,Diego Latella

ISBN 13: 9780792379683

Format: Hardcover (428 pages)
Publisher: Springer
Published: 30 Sep 2000

Save for later