Lecture Notes in Computer Science

Computer Aided Systems Theory - EUROCAST '95

A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995. Proceedings

Editors: Pichler, Franz, Moreno-Diaz, Roberto, Albrecht, Rudolf (Eds.)

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-540-49358-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-540-60748-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995.
The 42 full papers contained have been contributed by CAST theoreticians, tool-makers, designers, and appliers and reflect the full spectrum of activities in the area. The papers are organized in sections on systems theory, design environments, complex systems design, and specific applications.

Table of contents (42 chapters)

  • On the structure of discrete systems

    Albrecht, Rudolf F.

    Pages 1-18

  • Identification and recognition through shape in complex systems

    Rattray, Charles

    Pages 19-29

  • A logical approach to system construction

    Hill, Gillian

    Pages 30-47

  • Task management system

    Takahara, Yasuhiko (et al.)

    Pages 48-61

  • Toward a unified theory of discrete event systems

    Sato, Ryo

    Pages 62-72

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-540-49358-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-540-60748-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Aided Systems Theory - EUROCAST '95
Book Subtitle
A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995. Proceedings
Editors
  • Franz Pichler
  • Roberto Moreno-Diaz
  • Rudolf Albrecht
Series Title
Lecture Notes in Computer Science
Series Volume
1030
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49358-7
DOI
10.1007/BFb0034745
Softcover ISBN
978-3-540-60748-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIII, 547
Topics