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

jbeaudoi@sobeco.com (jc.beaudoin)
Fri, 29 Apr 1994 23:21:46 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: jbeaudoi@sobeco.com (jc.beaudoin)
Keywords: books, question
Organization: Sobeco Ernst & Young
Date: Fri, 29 Apr 1994 23:21:46 GMT

Hi,


I am trying to get my hand on a copy of the following book:


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


My local bookstore is unable to locate it. Is it available?
Maybe someone could send me the ISBN? That would help a lot.


Thank you,
--
Jean-Claude Beaudoin


Sobeco Ernst & Young, division MultiLIS email: jbeaudoi@sobeco.com
505 boul. Rene-Levesque ouest tel: (514) 878-9090 ext.352
--

Post a followup to this message

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