Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Temporal Logic: Volume 2

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

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 04527497

Nakladnici Oxford University Press, ožujak 2000

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

Libristo kod: 04527497

777 b

320.67 €

Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Temporal Logic Dov M. Gabbay

Meki uvez

109.14 €

Temporal Logic: Volume 1 Dov M. Gabbay

Tvrdi uvez

491.51 €

For Your Eyes Only Ian Fleming

Meki uvez

10.29 €

Dentist and a Gentleman Tracey L. Adams

Tvrdi uvez

66.83 €

My Deepest Heart's Devotions 5 Gertrude Kabatalemwa

Meki uvez

13.72 €

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

Tvrdi uvez

50.47 €

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.