You are here

Home
Back to top

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, Pa, June 6-8, 1983 (Lecture Notes in Computer Science #164) (Paperback)

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, Pa, June 6-8, 1983 (Lecture Notes in Computer Science #164) Cover Image
By E. Clarke (Editor), D. Kozen (Editor)
$90.99
Usually Ships in 1-5 Days
(This item cannot be returned.)

Product Details
ISBN: 9783540128960
ISBN-10: 3540128964
Publisher: Springer
Publication Date: February 1st, 1984
Pages: 531
Language: English
Series: Lecture Notes in Computer Science
Categories