Titolo: The Calculus of Computation. Decision Procedures with Applications to Verification.
Editore: Springer, Berlin
Data di pubblicazione: 2007
Lingua: Inglese
Rilegatura: Hardcover
Condizione: Wie neu

Descrizione libreria

Visita la pagina della libreria

Membro dell'associazione

I librai membri di queste associazioni si distinguono per elevata competenza e professionalit�. Garantiscono l'autenticit� di tutti gli articoli messi in vendita. Forniscono descrizioni approfondite e dettagliate, rivelano tutti i difetti e / o restauri rilevanti, forniscono prezzi chiari e precisi e operano con correttezza e onest� durante l'esperienza di acquisto.

Informazioni sull?azienda del venditore

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

Condizioni di vendita e spedizione

Condizioni di vendita

Antiquariat Renner oHG. Hechinger Strasse 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.

Condizioni di spedizione

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.

Metodi di pagamento

Pagamento su ricezione fattura

Aggiungi ai desiderata