Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bibel, W., 1938-, Jantke, K. P. (Klaus P.)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, ©1986.
Series:	Lecture notes in computer science ; 215.
Subjects:	Computer software > Development > Congresses. inférence inductive. informatique théorique. conception logiciel. théorie mathématique logiciel. développement logiciel. type abstrait. génie logiciel. Logiciels > Développement. Computer software > Development. Softwareentwicklung. Wendisch Rietz <1985>. Electronic books. Electronic resources (Books) Conference proceedings.
Online Access:	Connect to the full text of this electronic book