Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. : 7320 by Marco Bernardo - Paperback

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

Product Description

ISBN: 9783642309816
TITLE: Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. : 7320
AUTHOR: Marco Bernardo
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 14 Jun 2012

Other Details

ISBN:
9783642309816
Author:
Marco Bernardo
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:14 Jun 2012
Book Format:
Paperback