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.

Payment Methods

Invoice

Add to Wants