First-Order Dynamic Logic (Paperback)

D. Harel

ISBN 10: 3540092374 ISBN 13: 9783540092377

Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1979

Lingua: Inglese

Condizione: Nuovo Brossura

Lista dei preferiti

Venduto da Grand Eagle Retail, Mason, OH, U.S.A.

Venditore AbeBooks dal 12 ottobre 2005

Valutazione del venditore 5 su 5 stelle

Visualizza gli articoli del venditore

Mostra tutte le copie di questo libro

Nuovi - Brossura

Condizione: Nuovo

Prezzo: EUR 21,38 Convertire valuta

Gratis per la spedizione in U.S.A. Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungere al carrello

Lista dei preferiti

Riguardo questo articolo

Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Codice articolo 9783540092377

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: First-Order Dynamic Logic (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Data di pubblicazione: 1979
Lingua: Inglese
ISBN 10: 3540092374
ISBN 13: 9783540092377
Rilegatura: Paperback
Condizione: new

Descrizione articolo

Contenuti

I: Binary-relation semantics.- II: Computation-tree semantics.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Visita la pagina della libreria

Informazioni sull?azienda del venditore

APOLLO ONLINE CORP.
605 Geddes Street, Wilmington, DE, 19805, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

We guarantee the condition of every book as it�s described on the Abebooks web sites. If you�ve changed
your mind about a book that you�ve ordered, please use the Ask bookseller a question link to contact us
and we�ll respond within 2 business days.
Books ship from California and Michigan.

Diritto di recesso

Condizioni di spedizione

Orders usually ship within 2 business days. All books within the US ship free of charge. Delivery is 4-14 business days anywhere in the United States.

Books ship from California and Michigan.

If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 6 a 16 giorni lavorativi	Da 6 a 14 giorni lavorativi
Primo articolo	EUR 0.00	EUR 0.00

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

Aggiungi ai desiderata