Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Temporal Logic: Volume 2

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

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 04527497

Editoras Oxford University Press, março 2000

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily... Descrição completa

Código Libristo: 04527497

679 b

279.98 €

Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Também pode estar interessado em

Temporal Logic Dov M. Gabbay

Capa mole

98.84 €

Temporal Logic: Volume 1 Dov M. Gabbay

Livro de capa dura

448.80 €

For Your Eyes Only Ian Fleming

Capa mole

8.77 €

Dentist and a Gentleman Tracey L. Adams

Livro de capa dura

59.46 €

My Deepest Heart's Devotions 5 Gertrude Kabatalemwa

Capa mole

11.70 €

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

Livro de capa dura

43.10 €

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.