Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Sannella-Tarlecki/96"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Mind the gap! Abstract versus concrete models of specifications Publikation auswählen
Donald Sannella, Andrzej Tarlecki

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. 114-134

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