+612 9045 4394
 
CHECKOUT
Embedded Systems : New Approaches to Their Formal Description and Design. an Advanced Course, Zurich, Switzerland, March 5-7, 1986 - Albert Kundig

Embedded Systems

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

By: Albert Kundig (Editor), Richard E. Buhrer (Editor), Jacques Dahler (Editor)

Paperback

Published: 21st October 1987
Ships: 5 to 9 business days
5 to 9 business days
$116.16
or 4 easy payments of $29.04 with Learn more

This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.

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.

ISBN: 9783540185819
ISBN-10: 354018581X
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 212
Published: 21st October 1987
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.17
Weight (kg): 0.31