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ț: 139160 lei

Preț vechi: 240557 lei
-42% Nou

Puncte Express: 2087

Preț estimativ în valută:
24624 28914$ 21614£

Carte tipărită la comandă

Livrare economică 29 ianuarie-04 februarie 26

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.06 kg
Editura: OUP OXFORD
Colecția OUP Oxford
Seria Oxford Logic Guides

Locul publicării:Oxford, United Kingdom