
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen, Perdita Stevens
₹5,685

13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings
by Michal P. Chytil, Ladislav Janiga, Vaclav Koubek
Free delivery. Nothing extra to pay at checkout.
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.
Description supplied by the publisher.