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

Preț vechi: 240312 lei
-42%

Puncte Express: 2084

Preț estimativ în valută:
24559 29282$ 21302£

Carte tipărită la comandă

Livrare economică 13-24 martie


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