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

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

Show other versions (1)

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

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.76.D47 I58 1993
 
Call Number Status Get It
QA76.76.D47 I58 1993 Available