Skip to:Content
|
Bottom
Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Title:
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Author:
Bernardo, Marco. editor.
ISBN:
9783319073170
Edition:
1st ed. 2014.
Physical Description:
VIII, 343 p. 101 illus. online resource.
Series:
Programming and Software Engineering ; 8483
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 489035-1001 ONLINE
Searching...

On Order

Go to:Top of Page