An edition of The Formal description technique Lotos (1989)

The Formal description technique Lotos

results of the ESPRIT/SEDOS Project

Cover of: The Formal description technique Lotos by edited by Peter H.J. van Eijk, Chris A. Vissers, Michel Diaz.
Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
April 3, 2019 | History
Edit
An edition of The Formal description technique Lotos (1989)

The Formal description technique Lotos

results of the ESPRIT/SEDOS Project

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub.
Language
English
Pages
451

Check nearby libraries

Buy this book

Subjects

Electronic data processing, Distributed processing, LOTOS (Computer program language), System design, ESPRIT/SEDOS Project
Edition Availability
Cover of: The Formal description technique Lotos
The Formal description technique Lotos: results of the ESPRIT/SEDOS Project
1989, North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub.
in English
Cover of: The Formal Description Technique Lotos
The Formal Description Technique Lotos: Results of the Esprit/Sedos Project
April 1989, North-Holland
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographies.

Published in
Amsterdam, New York, New York, N.Y

Classifications

Dewey Decimal Class
004/.36
Library of Congress
QA76.9.D5 F65 1989

The Physical Object

Pagination
x, 451 p. :
Number of pages
451

Edition Identifiers

Open Library
OL2058311M
ISBN 10
0444872671
LCCN
88037407
Goodreads
1643834

Work Identifiers

Work ID
OL19488015W

Source records

Scriblio MARC record
Library of Congress MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
April 3, 2019 Created by MARC Bot import existing book