Cover Image

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
Description
Item Description:Electronic resource.
Physical Description:1 online resource (viii, 98 pages)
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references (pages 59-98).