Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1]	Hilfe

Suche: Author="Haeberer, Armando M."

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

From specifications to programs: A fork-algebraic approach to bridge the gap

Gabriel A. Baum, Marcelo F. Frias, Armando M. Haeberer, PabloE. Martínez López

Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS'96 (Cracow, Poland, September 2-6, 1996)
Lecture Notes in Computer Science 1113 , 1996, pp. 180-191

Editors Wojciech Penczek, Andrzej Szaƚas

Publisher: Springer-Verlag

Address: Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest

Editors		Wojciech Penczek, Andrzej Szaƚas
Publisher:		Springer-Verlag
Address:		Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest