Formal methods in software and systems modeling

Name: Formal methods in software and systems modeling
Author: Hartmut Ehrig

Cover of Formal methods in software and systems modeling

No description available.

Computer systemsFormal methods (Computer science)DesignComputer softwareDesign and constructionLogic, symbolic and mathematicalSoftware engineeringComputers

Formal methods in software and systems modeling by Hartmut Ehrig — book · Vinony