Cantitate/Preț
Produs

Temporal Logic: Volume 2: Oxford Logic Guides, cartea 40

Autor Dov M Gabbay, M. Finger, M. Reynolds
en Limba Engleză Hardback – 30 mar 2000
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.
Citește tot Restrânge

Din seria Oxford Logic Guides

Preț: 129320 lei

Preț vechi: 282133 lei
-54% Nou

Puncte Express: 1940

Preț estimativ în valută:
24748 25681$ 20685£

Carte tipărită la comandă

Livrare economică 05-11 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780198537687
ISBN-10: 0198537689
Pagini: 612
Ilustrații: line figures
Dimensiuni: 162 x 242 x 37 mm
Greutate: 1.01 kg
Editura: OUP OXFORD
Colecția OUP Oxford
Seria Oxford Logic Guides

Locul publicării:Oxford, United Kingdom