Formal Methods for Components and Objects

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)

1 edition
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Not in Library

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

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

Buy this book

Last edited by ImportBot
July 30, 2014 | History

Formal Methods for Components and Objects

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)

1 edition
  • 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
373

Buy this book

Previews available in: English

Book Details


First Sentence

"Embedded systems are intrinsically heterogeneous since they are based on processors that see the world digitally and an environment that is analog."

The Physical Object

Format
Paperback
Number of pages
373
Dimensions
9.2 x 6.1 x 0.9 inches
Weight
1.2 pounds

ID Numbers

Open Library
OL9054947M
Internet Archive
formalmethodsfor2003boer
ISBN 10
3540229426
ISBN 13
9783540229421
Goodreads
3965305

Source records

Internet Archive item 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
July 30, 2014 Created by ImportBot import new book