Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Computer Science

Embedded Software

First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings

Editors: Henzinger, Thomas A., Kirsch, Christoph M. (Eds.)

Free Preview

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-540-45449-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-42673-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (34 chapters)

Table of contents (34 chapters)
  • Heterogeneous Modeling Support for Embedded Systems Design

    Pages 1-13

    Alexander, Perry (et al.)

  • Hierarchical Hybrid Modeling of Embedded Systems

    Pages 14-31

    Alur, R. (et al.)

  • Some Synchronization Issues When Designing Embedded Systems from Components

    Pages 32-49

    Benveniste, Albert

  • Synchronous Programming Techniques for Embedded Systems: Present and Future

    Pages 50-50

    Berry, Gérard

  • From Requirements to Validated Embedded Systems

    Pages 51-65

    Broy, Manfred (et al.)

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-540-45449-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-42673-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Embedded Software
Book Subtitle
First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Editors
  • Thomas A. Henzinger
  • Christoph M. Kirsch
Series Title
Lecture Notes in Computer Science
Series Volume
2211
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45449-6
DOI
10.1007/3-540-45449-7
Softcover ISBN
978-3-540-42673-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
IX, 504
Topics