TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /

Bibliographic Details
Corporate Authors:	International Joint Conference on Theory and Practice of Software Development Lille, France, SpringerLink (Online service)
Other Authors:	Bidoit, M. (Michel), 1957-, Dauchet, M. (Max), 1946-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1997]
Series:	Lecture notes in computer science ; 1214.
Subjects:	Computer software > Development > Congresses. vérification. type. sémantique. unification. complexité. contrainte. automate. réécriture. spécification algébrique. développement logiciel. Ateliers de génie logiciel > Congrès. Automates mathématiques, Théorie des > Congrès. Langages formels > Congrès. Logiciels > Développement > Congrès. Computer software > Development. Programmatuurtechniek. Programacao De Computadores. Teoria Da Computacao. Logiciels > Développement. Génie logiciel. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage