Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (Nato ASI Subseries F:)

Bauer, F.L.; Broy, M.; Dijkstra, E.W.; Hoare, C.A.R. (Direct

ISBN 10: 3540180036 / ISBN 13: 9783540180036

Published by Springer, 1987

About this Item

Very Good. SHIPS FROM MULTIPLE LOCATIONS.

Seller Inventory # D7S9-1-M-3540180036-3

Bibliographic Details

• Title: Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (Nato ASI Subseries F:)
• Publisher: Springer
• Publication Date: 1987
• Language: English
• ISBN 10: 3540180036
• ISBN 13: 9783540180036
• Binding: hardcover
• Condition: Very Good
• Book Type: book

About this title

Synopsis

Hardcover with printed boards, no dust jacket, in very good condition. Boards are slightly marked, and edges and spine ends are bumped and nicked in places. Page block is lightly tanned and blemished, page edges are a little tanned, and previous owner's name penned to front end-paper. Pages are otherwise clear and binding is sound. LW