Lecture Notes in Computer Science: First-Order Dynamic Logic (Paperback)

Name: Lecture Notes in Computer Science: First-Order Dynamic Logic (Paperback)
Brand: D Harel
SKU: 540916718
Price: 17.99 USD
Availability: InStock

(No ratings yet)

Key item features

Specs

Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
April, 1979
Pages
136
Number in series
68

Current price is $17.99

Price when purchased online

Free 90-day returns

How do you want your item?

I want delivery savings with

Plus, get 50% off an annual plan at checkout!

How do you want your item?

Ships to

Arrives by Tue, Jul 7

Sold and shipped by Walmart.com

Free 90-day returns

This item is gift eligible

More seller options (2)

Starting from $21.39

About this item

Product details

First-Order Dynamic Logic

Lecture Notes in Computer Science: First-Order Dynamic Logic (Paperback)

info:

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.

Specifications

Book format

Paperback

Fiction/nonfiction

Non-Fiction

Genre

Computing & Internet

Publication date

April, 1979

Warranty

Warranty information

Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.