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