An edition of Mathematical methods of specification and synthesis of software systems '85 (1986)
Mathematical methods of specification and synthesis of software systems '85
proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
By W. Bibel
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1986
Publisher
Springer
Language
eng
Pages
245
Description:
subjects: Development, Congresses, Computer software, Conception logiciel, Informatique théorique, Inférence inductive, Théorie mathématique logiciel, Softwareentwicklung, Logiciels, Développement, Développement logiciel, Type abstrait, Génie logiciel, Computer programs, Computer programming, Symbolic and mathematical Logic, Universal Algebra