TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings /

This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software enginee...

Full description

Bibliographic Details
Corporate Authors:	International Joint Conference on Theory and Practice of Software Development Orsay, France, SpringerLink (Online service), Colloquium on Trees in Algebra and Programming, FASE (Conference)
Other Authors:	Gaudel, M.-C. (Marie-Claude), Jouannaud, Jean-Pierre
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1993.
Series:	Lecture notes in computer science ; 668.
Subjects:	Computer software > Development > Congresses. système concurrent. calcul parallèle. analyse algorithme. contrainte. génie logiciel. reecriture. arbre. spécification formelle. concurrence. spécification algébrique. développement logiciel. Logiciels > Développement > Congrès. Software. Génie logiciel > Congrès. Computer software > Development. Electronic books. Congressen (vorm) Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Published 1993

Conference Proceeding Book