• Product Details
• Table of Contents

Product Details

ISBN-13:	9783540092377
Publisher:	Springer Berlin Heidelberg
Publication date:	06/01/1979
Series:	Lecture Notes in Computer Science , #68
Edition description:	1979
Pages:	136
Product dimensions:	6.10(w) x 9.25(h) x 0.01(d)

Table of Contents

I: Binary-relation semantics.- II: Computation-tree semantics.

From the B&N Reads Blog

Page 1 of

Customer Reviews