The Formal description technique Lotos : results of the ESPRIT/SEDOS Project :: ISBN 0444872671 :: North-Holland 1989 :: OBNB, the Open British National Bibliography

Publication Data

Title The Formal description technique Lotos : results of the ESPRIT/SEDOS Project
Contributors Peter H. J. van Eijk, Chris A. Vissers, Michel Diaz
Publisher North-Holland
Publication date 1989
Publication location Amsterdam
Language English

Topics

Electronic data processing :: Distributed processing
LOTOS (Computer program language)
009739598

Catalogue Data

OBNB ID GB9011834
ISBN 10 0444872671
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.36

ISBD

P1053 x,451p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

The Formal description technique Lotos : results of the ESPRIT/SEDOS Project. ISBN 0444872671. Published by North-Holland in 1989. Publication and catalogue information, links to buy online and reader comments.