Name: Formal Methods for Model-Driven Engineering : 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
ISBN: 9783642309816

by Bernardo, Marco, Cortellessa, Vittorio, Pierantonio, Alfonso

Formal Methods for Model-Driven Engineering : 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

by Bernardo, Marco, Cortellessa, Vittorio, Pierantonio, Alfonso

Marketplace Prices
New from $51.31

New
$51.31

List Price

~~$89.95~~

Discount

42% Off

You Save

$38.64

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783642309816
ISBN: 364230981X
Publication Date: 2012
Publisher: Springer

AUTHOR

Bernardo, Marco, Cortellessa, Vittorio, Pierantonio, Alfonso

SUMMARY

Bernardo, Marco is the author of 'Formal Methods for Model-Driven Engineering : 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures', published 2012 under ISBN 9783642309816 and ISBN 364230981X.

[read more]