Logic for Programming and Automated Reasoning

Lingua: inglese

Editore: Springer Berlin Heidelberg, 2000

3540412859 / 9783540412854

Da: moluna, Greven, Germaniamoluna

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Brossura

Condizione: Nuovo

EUR 48,37

EUR 48,99 spedizione 
Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Nonmononic reasoning.- On the Complexity of Theory Curbing.- Descriptive complexity.- Graph Operations and Monadic Second-Order Logic: A Survey.- Efficient First Order Functional Program Interpreter with Time Bound Certifications.- Specification and automat.

Codice articolo 4889194

Titolo
Logic for Programming and Automated Reasoning
Autore
Parigot, Michel|Voronkov, Andrei
Editore
Springer Berlin Heidelberg
Anno di pubblicazione
2000
Condizione
New
Rilegatura
Kartoniert / Broschiert
Lingua
inglese
ISBN 10
3540412859
ISBN 13
9783540412854
Cataloghi dei venditori
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 16 a 45 giorni lavorativiDa 16 a 45 giorni lavorativi
Primo articoloEUR 48,99EUR 48,99
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • Bonifico bancario
  • PayPal

Descrizione dello Store

Online Handel nur mit Neubüchern

Informazioni sull’azienda del venditore

Moluna GmbH

Engberdingdamm 27
Greven, Germania 48268

Editoriale

Riconoscimento legale degli offerenti:

Moluna GmbH
rappresentata dall'amministratore Helge Blischke
Engberdingdamm 27
48268 Greven
Germania
Telefono: 02571/5698933
Fax: 02571/5698930
E-Mail: abe@moluna.de
P. IVA: DE296281834
iscritta nel registro delle imprese del tribunale Steinfurt
numero di registro delle imprese HRB 10553

Siamo membri dell’iniziativa “FairCommerce” dal 24.07.2015.
Per ulteriori informazioni, vedere www.haendlerbund.de/faircommerce.