Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings /

Bibliographic Details
Corporate Authors:	International Conference on Algebraic Methodology and Software Technology Montréal, Québec, SpringerLink (Online service)
Other Authors:	Alagar, Vangalur S., 1940-, Nivat, M.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 1995.
Series:	Lecture notes in computer science ; 936.
Subjects:	Software engineering > Congresses. Abstract data types (Computer science) > Congresses. spécification algébrique. programmation en logique. programmation par objets. sémantique algébrique. concurrence. algèbre relation. génie logiciel. logique algébrique. technologie logiciel. Génie logiciel > Congrès. Types de données abstraites (Informatique) > Congrès. Abstract data types (Computer science) Software engineering. Informatica. Logica. Informatique. Génie logiciel. Logique algébrique. Algebraische Methode. Kongre€. Software Engineering. Softwareentwicklung. Electronic books. Conference proceedings. Montréal (1995) Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book

Remote Storage