Re: Detailed info on latest book by M. Broy et al.

slotosch@informatik.tu-muenchen.de (Oscar Slotosch)
Mon, 2 May 1994 12:08:41 GMT

          From comp.compilers
Related articles
Detailed info on latest book by M. Broy et al. jbeaudoi@sobeco.com (1994-04-29)
Re: Detailed info on latest book by M. Broy et al. slotosch@informatik.tu-muenchen.de (1994-05-02)
| List of all articles for this month |
Newsgroups: comp.specification,comp.compilers
From: slotosch@informatik.tu-muenchen.de (Oscar Slotosch)
Keywords: books
Organization: Technische Universitaet Muenchen, Germany
References: 94-04-191
Date: Mon, 2 May 1994 12:08:41 GMT

    Broy, M. and Jahnichen, S., editors, "KORSO, Correct Software by Formal
    Methods", LNCS, Springer, 1994.


We will post detailed informations when it is printed.


Oscar Slotosch
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.