Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez of the German Research Foundation (Dfg) Fi by

Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez of the German Research Foundation (Dfg) Fi

Lecture Notes in Computer Science

630 pages • missing pub info (editions)

nonfiction computer science mathematics science
Powered by AI (Beta)
Loading...

Description

This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi...

Read more

Community Reviews

Loading...

Content Warnings

Loading...