Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Lecture Notes in Computer Science)

Hrsg. v. Kündig, Albert /Bührer, Richard E. /Dähler, Jacques . Lecture Notes in Computer Science 1. Aufl. 21.10.1987 . V, 207 S. ;
Sofort lieferbar | Lieferzeit: Sofort lieferbar I

ungelesen sehr guter Zustand unused very good condition

380 g

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.

Kunden Rezensionen

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.