Title: Mathematical methods of specification and synthesis of software systems '85
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