Formal development of reactive systems

case study production cell

Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by ImportBot
March 28, 2025 | History

Formal development of reactive systems

case study production cell

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

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
394

Buy this book

Edition Availability
Cover of: Formal Development of Reactive Systems
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science)
February 24, 1995, Springer
Paperback in English - 1 edition
Cover of: Formal development of reactive systems
Formal development of reactive systems: case study production cell
1995, Springer-Verlag
in English

Add another edition?

Book Details


Edition Notes

Includes bibliographical references.

Published in
Berlin, New York
Series
Lecture notes in computer science ;, 891

Classifications

Dewey Decimal Class
670.42/7
Library of Congress
QA76.76.D47 F65 1995, QA75.5-76.95

The Physical Object

Pagination
xi, 394 p. :
Number of pages
394

Edition Identifiers

Open Library
OL1118454M
ISBN 10
3540588671, 0387588671
LCCN
94044675
OCLC/WorldCat
31740407
LibraryThing
8629301

Work Identifiers

Work ID
OL18238901W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
July 15, 2024 Edited by MARC Bot import existing book
October 4, 2021 Edited by ImportBot import existing book
November 18, 2020 Edited by MARC Bot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record