This item is printed on demand - it takes 3-4 days longer - Neuware -On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL � Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions. 256 pp. Englisch.

Seller Inventory # 9783540111603

Contact seller

Report this item

Bibliographic Details

Title: Logic of Programs
Publisher: Springer Berlin Heidelberg Nov 1981
Publication Date: 1981
Language: English
ISBN 10: 3540111603
ISBN 13: 9783540111603
Binding: Taschenbuch
Condition: Neu
Dimensions: 235 millimeters width by 155 millimeters height by 15 millimeters depth
Weight: 394 grams

Store Description

Visit Seller's Storefront

Seller's business information

BuchWeltWeit Ludwig Meier e.K.
Germany

Sale & Shipping Terms

Terms of Sale

Allgemeine Gesch�ftsbedingungen mit Kundeninformationen
Inhaltsverzeichnis
Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Gerichtsstand
Alternative Streitbeilegung

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") des BuchWeltWeit Inh. Ludwig Meier e.K. (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehmer (nachfolgend ?...

More Information

Shipping Terms

Der Versand ins Ausland findet IMMER mit DHL statt. Auch nach �sterreich verschicken wir nur mit DHL! Daher Standardversand == Luftpost!

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	5 to 15 business days	5 to 15 business days
First item	US$ 27.02	US$ 27.02

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.