Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Temporal Logic: Volume 2

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

Limba

engleză

Carte Copertă tare

Codul Libristo: 04527497

Editura Oxford University Press, martie 2000

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily... Descrierea completă

Codul Libristo: 04527497

810 b

1 756.14 lei

În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Temporal Logic Dov M. Gabbay

Carte broșată

600.60 lei

Temporal Logic: Volume 1 Dov M. Gabbay

Copertă tare

2 694.58 lei

For Your Eyes Only Ian Fleming

Carte broșată

57.02 lei

Dentist and a Gentleman Tracey L. Adams

Copertă tare

370.60 lei

My Deepest Heart's Devotions 5 Gertrude Kabatalemwa

Carte broșată

75.44 lei

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

Copertă tare

278.08 lei

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.