Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System by Bernardo, Marco

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System (Paperback) (ISBN-13: 9783642309816)

Vendor: Marco Bernardo
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System by Bernardo, Marco

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System

$54.99
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System by Bernardo, Marco

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System

$54.99
Format: Paperback
Description
Description
x
This book presents tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012.

Author: Marco Bernardo
ISBN-10: 364230981X
ISBN-13: 9783642309816
Publisher: Springer
Language: English
Published: 06/14/2012
Pages: 439
Format: Paperback
Weight: 1.45lbs
Size: 9.20h x 6.00w x 1.00d

Recently Viewed Products