PROGRAMS, RECURSION AND UNBOUNDED CHOICE: PREDICATE-TRANSFORMATION SEMANTICS AND TRANSFORMATION RULES

By: HESSELINK, WIM H.

Price: $25.00

Quantity: 1 available


Keyword(s): COMPUTERS.

Title: PROGRAMS, RECURSION AND UNBOUNDED CHOICE: PREDICATE-TRANSFORMATION SEMANTICS AND TRANSFORMATION RULES

Author Name: HESSELINK, WIM H.

Categories: Computer Science,

Edition: 1ST

Publisher: CAMBRIDGE, U.K., CAMBRIDGE UNIVERSITY PRESS: 1992

Binding: Hardcover.

Book Condition: VG. Pages: 232. Item #I035454.

Seller ID: I035454

Keywords: COMPUTERS,