Skip to content
Cover of Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures

Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures

by Marco Bernardo

System designEngineering, mathematical modelsComputer-aided engineeringInformation resources management
Writing a summary for young readers…

For young readers

Book data: Open Library