Description: First-Order Dynamic Logic by D. Harel FORMAT Paperback LANGUAGE English CONDITION Brand New Notes Springer Book Archives Table of Contents I: Binary-relation semantics.- II: Computation-tree semantics. Promotional Springer Book Archives Details ISBN3540092374 Author D. Harel Series Lecture Notes in Computer Science Language English ISBN-10 3540092374 ISBN-13 9783540092377 Media Book Format Paperback Series Number 68 Year 1979 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K DOI 10.1007/b18942 Place of Publication Berlin Country of Publication Germany Birth 1950 Short Title 1ST-ORDER DYNAMIC LOGIC 1979/E DEWEY 004 Pages 136 Illustrations XII, 136 p. Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Edition Description 1979 ed. Edition 1979th Publication Date 1979-04-01 Audience Professional & Vocational We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96276627;
Price: 36.06 AUD
Location: Melbourne
End Time: 2025-01-14T08:42:52.000Z
Shipping Cost: 9.66 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783540092377
Book Title: First-Order Dynamic Logic
Number of Pages: 136 Pages
Language: English
Publication Name: First-Order Dynamic Logic
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Publication Year: 1979
Subject: Computer Science
Item Height: 235 mm
Item Weight: 480 g
Type: Textbook
Author: D. Harel
Item Width: 155 mm
Format: Paperback
