First-Order Dynamic Logic de D. Harel

First-Order Dynamic Logic: Lecture Notes in Computer Science, cartea 68

Autor D. Harel

en Limba Engleză Paperback – apr 1979

Din seria Lecture Notes in Computer Science

Preț: 108^.08 lei

Preț vechi: 135^.09 lei
-20% Nou

Puncte Express: 162

:
20^.69€ • 21^.70$ • 17^.16£

Carte tipărită la comandă

Livrare economică 29 ianuarie-12 februarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540092377
ISBN-10: 3540092374
Pagini: 148
Ilustrații: XII, 136 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.22 kg
Ediția:1979
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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