Skip to main content
SpringerLink
Log in

Embedded Systems

New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986

  • Textbook
  • © 1987

Overview

Editors:
  1. A. Kündig
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. R. E. Bührer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. J. Dähler
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 284)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Download chapter PDF

  2. A note on the meaning of “Embedded systems”

    • Albert T. Kündig
    Pages 1-5

  3. Design of VLSI systems

    • W. Fichtner
    Pages 6-17

  4. Embedded system description using Petri nets

    • Wolfgang Reisig
    Pages 18-62

  5. Elements for the formal description of systems

    • Raymond T. Boute
    Pages 63-90

  6. An introduction to system semantics

    • Raymond T. Boute
    Pages 91-107

  7. Functional formalisms for system description: Current research topics

    • Raymond T. Boute
    Pages 108-126

  8. Tools for protocols driven by formal specifications

    • Harry Rudin
    Pages 127-152

  9. Functional programming languages as a software engineering tool

    • Simon L Peyton Jones
    Pages 153-173

  10. Practical methods and tools for specification

    • J. Ludewig
    Pages 174-207
Back to top

Keywords

Bibliographic Information

  • Book Title: Embedded Systems

  • Book Subtitle: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986

  • Editors: A. Kündig, R. E. Bührer, J. Dähler

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0016343

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-540-18581-9Published: 21 October 1987

  • eBook ISBN: 978-3-540-48021-1Published: 23 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 212

  • Topics: Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation