Cantitate/Preț
Produs
Total produse
Vezi coșul
First-Order Dynamic Logic de D. Harel

First-Order Dynamic Logic

Autor D. Harel
en Limba Engleză Paperback – apr 1979

Preț: 10697 lei

Preț vechi: 13371 lei
-20%

Puncte Express: 160

Carte tipărită la comandă

Livrare economică 09-23 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540092377
ISBN-10: 3540092374
Pagini: 148
Ilustrații: XII, 136 p.
Dimensiuni: 155 x 235 x 9 mm
Greutate: 0.24 kg
Ediția:1979
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

I: Binary-relation semantics.- II: Computation-tree semantics.