Items related to Embedded Systems: New Approaches to Their Formal Description...
Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986: 284 (Lecture Notes in Computer Science, 284) - Softcover
Synopsis
Contains some lectures given in Spring 1986 at ETH Zürich in the framework of an Advanced Course on New Approaches to the Architecture and the Design of Embedded Systems. The lectures concentrate on description and design methods based on formal models, as applied to the development of computer based systems. Both hardware and software are treated. Special emphasis in the presentation of the theoretical basis is given to functional formalisms and Petri Nets.
"synopsis" may belong to another edition of this title.
Search results for Embedded Systems: New Approaches to Their Formal Description...
Stock Image
Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Lecture Notes in Computer Science)
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Seller Inventory # M0354018581X-V
Quantity: 1 available
Stock Image
Embedded Systems : New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540185819
Quantity: 10 available
Seller Image
Embedded Systems : New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
Published by
Springer Berlin Heidelberg, 1987
ISBN 10: 354018581X
ISBN 13: 9783540185819
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - A note on the meaning of ¿Embedded systems¿.- Design of VLSI systems.- Embedded system description using Petri nets.- Elements for the formal description of systems.- An introduction to system semantics.- Functional formalisms for system description: Current research topics.- Tools for protocols driven by formal specifications.- Functional programming languages as a software engineering tool.- Practical methods and tools for specification. Seller Inventory # 9783540185819
Quantity: 1 available
Seller Image
Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD14a2280
Quantity: 1 available
Seller Image
Embedded Systems
Published by
Springer Berlin Heidelberg, 1987
ISBN 10: 354018581X
ISBN 13: 9783540185819
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4883833
Quantity: Over 20 available
Seller Image
Embedded Systems
Published by
Springer Berlin Heidelberg Okt 1987, 1987
ISBN 10: 354018581X
ISBN 13: 9783540185819
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A note on the meaning of ¿Embedded systems¿.- Design of VLSI systems.- Embedded system description using Petri nets.- Elements for the formal description of systems.- An introduction to system semantics.- Functional formalisms for system description: Current research topics.- Tools for protocols driven by formal specifications.- Functional programming languages as a software engineering tool.- Practical methods and tools for specification. 220 pp. Englisch. Seller Inventory # 9783540185819
Quantity: 2 available
Seller Image
Embedded Systems
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1987, 1987
ISBN 10: 354018581X
ISBN 13: 9783540185819
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A note on the meaning of ¿Embedded systems¿.- Design of VLSI systems.- Embedded system description using Petri nets.- Elements for the formal description of systems.- An introduction to system semantics.- Functional formalisms for system description: Current research topics.- Tools for protocols driven by formal specifications.- Functional programming languages as a software engineering tool.- Practical methods and tools for specification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch. Seller Inventory # 9783540185819
Quantity: 1 available
Stock Image
Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Lecture Notes in Computer Science, 284)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020161781
Quantity: Over 20 available