Mathematical methods of specification and synthesis of software systems '85

Name: Mathematical methods of specification and synthesis of software systems '85
Author: W. Bibel

Cover of Mathematical methods of specification and synthesis of software systems '85

No description available.

DevelopmentCongressesComputer softwareConception logicielInformatique théoriqueInférence inductiveThéorie mathématique logicielSoftwareentwicklungLogicielsDéveloppementDéveloppement logicielType abstrait