Algebraic system specification and development : a survey and annotated bibliography /

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Bidoit, M. (Michel), 1957-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1991]
Series:	Lecture notes in computer science ; 501.
Subjects:	System design. outil logiciel. développement logiciel. langage programmation. bibliographie. spécification algébrique. type abstrait. Systemes, Conception de. Systèmes, Conception de. Electronic books.
Online Access:	Connect to the full text of this electronic book