Title: The Calculus of Computation. Decision Procedures with Applications to Verification.
Publisher: Springer, Berlin
Publication Date: 2007
Language: English
Binding: Hardcover
Condition: Wie neu

Store Description

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Antiquariat Renner OHG
Hechinger Strasse 23, Albstadt, 72461, Germany

Sale & Shipping Terms

Terms of Sale

Antiquariat Renner oHG. Hechinger Stra�e 23. D-72461 ALBSTADT. buch@antiquar-renner.com.
0049-7432-5114. Ansprechpartner: Jens Eichwald und Joerg Fekete.
Umsatzsteuer-Identifikationsnummer (UID) DE-812853626.
Freibleibendes Angebot ohne Lieferzwang.

Shipping Terms

Die Versandkostenpauschalen basieren auf Sendungen mit einem durchschnittlichen Gewicht. Falls das von Ihnen bestellte Buch besonders schwer oder sperrig sein sollte, werden wir Sie informieren, falls zus�tzliche Versandkosten anfallen.

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	14 to 20 business days	10 to 14 business days
First item	US$ 52.83	US$ 52.83

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.

Payment Methods

Invoice

Add to Wants