Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Temporal Logic: Volume 2

Name: Temporal Logic: Volume 2
Brand: Oxford University Press
SKU: 04527497
Price: 338.49 EUR
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9780198537687

Lingua

Inglese

Libro Rigido

Codice Libristo: 04527497

Casa editrice Oxford University Press, marzo 2000

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily... Descrizione completa

Codice Libristo: 04527497

828 b

338.49 €

Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

Potrebbe interessarti anche

Temporal Logic Dov M. Gabbay

In brossura

113.19 €

Temporal Logic: Volume 1 Dov M. Gabbay

Rigido

532.69 €

For Your Eyes Only Ian Fleming

In brossura

10.69 €

Dentist and a Gentleman Tracey L. Adams

Rigido

69.39 €

My Deepest Heart's Devotions 5 Gertrude Kabatalemwa

In brossura

14.19 €

The Sixth and Seventh Books of Herodotus: With a Life of Herodotus, an Epitome of His History, a Summary of the Dialect, and Explanatory Notes (1885) Herodotus

Rigido

52.39 €

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.