Picture 1 of 1

Stock photo

First-Order Dynamic Logic by Harel, D. - Picture 1 of 1

Lecture Notes in Computer Science Ser.: First-Order Dynamic Logic by D. Harel (1979, Perfect)

ThriftBooks (3910702)

98.9% positive feedback

Price:

US $15.03

ApproximatelyPHP 844.40

+ $6.70 shipping

Estimated delivery Mon, 14 Jul - Mon, 11 Aug

Returns:

No returns, but backed by .

Condition:

Like New

Buy It Now
See all details

About this product

Product Identifiers

PublisherSpringer Berlin / Heidelberg

ISBN-103540092374

ISBN-139783540092377

eBay Product ID (ePID)109054915

Product Key Features

Number of PagesXii, 136 Pages

LanguageEnglish

Publication NameFirst-Order Dynamic Logic

Publication Year1979

SubjectProgramming / General, General, Logic

TypeTextbook

Subject AreaMathematics, Computers

AuthorD. Harel

SeriesLecture Notes in Computer Science Ser.

FormatPerfect

Dimensions

Item Height0.1 in

Item Weight16.9 Oz

Item Length9.3 in

Item Width6.1 in

Additional Product Features

Intended AudienceScholarly & Professional

Series Volume Number68

Number of Volumes1 vol.

IllustratedYes

LC Classification NumberQA75.5-76.95