Mathematical Methods of Specification and Synthesis of Software Systems '85

ebook Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985 · Mathematical Research

By Wolfgang Bibel

cover image of Mathematical Methods of Specification and Synthesis of Software Systems '85

Sign up to save your library

With an OverDrive account, you can save your favorite libraries for at-a-glance information about availability. Find out more about OverDrive accounts.

   Not today

Find this title in Libby, the library reading app by OverDrive.

Download Libby on the App Store Download Libby on Google Play

Search for a digital library with this title

Title found at these libraries:

Library Name Distance
Loading...
No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems '85".
Mathematical Methods of Specification and Synthesis of Software Systems '85