Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers /

Bibliographic Details
Corporate Authors:	WADT '98 Lisbon, Portugal, SpringerLink (Online service)
Other Authors:	Fiadeiro, José Luiz, 1961-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1999]
Series:	Lecture notes in computer science ; 1589.
Subjects:	Computer software > Development > Congresses. Computer science > Mathematics > Congresses. Abstract data types (Computer science) > Congresses. démonstrateur théorème. réécriture. langage spécification. concurrence. logique algébrique. structure algébrique. spécification algébrique. Ateliers de génie logiciel. Informatique > Mathématiques > Congrès. Types abstraits de données (Informatique) > Congrès. Abstract data types (Computer science) Computer science > Mathematics. Computer software > Development. Algebra. Programmatuurtechniek. Logiciels > Développement > Congrès. Types de donnés abstraites (informatique) > Congrès. Algebraische Spezifikation. Lissabon <1998>. Electronic books. Kongress > Lissabon > 1998. Conference proceedings. Lissabon (1998)
Online Access:	Connect to the full text of this electronic book

Remote Storage