An edition of Synchronous equivalence (2001)

Synchronous Equivalence

Formal Methods for Embedded Systems

1 edition

by , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Synchronous Equivalence by Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli
Preview Only
Borrow Listen

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
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
February 25, 2022 | History
Edit
An edition of Synchronous equivalence (2001)

Synchronous Equivalence

Formal Methods for Embedded Systems

1 edition

by , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Springer
Language
English
Pages
136

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Embedded computer systems, Formal methods (Computer science), Computer science
Edition Availability
Cover of: Synchronous Equivalence
Synchronous Equivalence: Formal Methods for Embedded Systems
January 15, 2001, Springer
Hardcover in English - 1 edition
Libraries near you: WorldCat

Add another edition?

Book Details

First Sentence

"The POLIS codesign framework is a collection of related tools that help the designer to take behavioral specifications all the way down to actual implementations."

Classifications

Library of Congress
TK7867-7867.5, TK7895.E42 H75 2001

The Physical Object

Format
Hardcover
Number of pages
136
Dimensions
8.7 x 6.7 x 0.4 inches
Weight
2 pounds

ID Numbers

Open Library
OL7809573M
Internet Archive
synchronousequiv0000hsie
ISBN 10
079237262X
ISBN 13
9780792372622
LCCN
00051457
OCLC/WorldCat
45209115
Goodreads
4650025

Source records

amazon.com record
Library of Congress MARC record
Library of Congress MARC record
Better World Books record
Internet Archive item record
Promise Item
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
February 25, 2022 Edited by ImportBot import existing book
February 12, 2019 Created by MARC Bot import existing book