Book - Whole Book @Book, Buch Monographie |
|
Author, Editor |
|
Title |
|
Publisher |
|
Vol, No, pp., Year |
|
Abstract, Links, © |
|
Correlation |
MPG Unit: | Max-Planck-Institut für Informatik |
MPG Subunit: | Programming Logics Group |
Audience: | Expert |
Appearance: | MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat |
Editor(s) Christoph Weidenbach | Created 04/16/1997 05:33:12 PM | |
Revisions 3. 2. 1. 0. | Editor(s) Uwe Brahm Christoph Weidenbach Christoph Weidenbach Christoph Weidenbach | Edit Dates 2009-04-06 13:52:40 17/04/97 09:41:15 16/04/97 17:35:33 16/04/97 17:33:12 |