This book is currently unavailable on Open Library, check out available alternatives.
An edition of Formal methods for real-time computing (1996)

Formal methods for real-time computing

by and

  • 1 Want to read
Cover of: Formal methods for real-time computing by Constance Heitmeyer, Dino Mandrioli
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

My Reading Lists:

Create a new list

Only you can see this

Save Note
  • 1 Want to read
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by ImportBot
January 26, 2024 | History
Edit
An edition of Formal methods for real-time computing (1996)

Formal methods for real-time computing

by and

  • 1 Want to read

xvii, 271 p. : 24 cm

Publish Date
Publisher
John Wiley, Wiley
Language
English
Pages
271

Previews available in: English

Subjects

Real-time data processing Formal methods (Computer science)
Edition Availability
Cover of: Formal methods for real-time computing
Formal methods for real-time computing
1996, John Wiley, Wiley
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

Published in
Chichester, New York
Series
Trends in software ;, 5

Classifications

Dewey Decimal Class
005.2
Library of Congress
QA76.54 .F64 1996, QA76.54.F64 1996

The Physical Object

Pagination
xvii, 271 p. :
Number of pages
271

Edition Identifiers

Open Library
OL969169M
ISBN 10
0471958352
LCCN
96005720
LibraryThing
276560
Goodreads
4423073

Work Identifiers

Work ID
OL23611550W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS |

Wikipedia citation

Copy and paste this code into your Wikipedia page.

{{cite book|author1=Constance Heitmeyer |author2=Dino Mandrioli |date=1996 |title=Formal methods for real-time computing |url=https://archive.org/details/isbn_9780471958352 |publication-place=Chichester |publisher=John Wiley |isbn=0-471-95835-2 |lccn=96005720 |ol=969169M}}