FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings : 5014 by Jorge Cuellar - Paperback

AED303.69
(0) Write a Review
SKU:
9783540682356
UPC:
9783540682356

Product Description

ISBN: 9783540682356
TITLE: FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings : 5014
AUTHOR: Jorge Cuellar
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 8 May 2008