First-Order Dynamic Logic
Autor D. Harelen Limba Engleză Paperback – apr 1979
Preț: 106.63 lei
Preț vechi: 133.29 lei
-20%
Puncte Express: 160
Preț estimativ în valută:
18.85€ • 22.23$ • 16.27£
18.85€ • 22.23$ • 16.27£
Carte tipărită la comandă
Livrare economică 19 martie-02 aprilie
Specificații
ISBN-13: 9783540092377
ISBN-10: 3540092374
Pagini: 148
Ilustrații: XII, 136 p.
Dimensiuni: 155 x 235 x 9 mm
Greutate: 0.22 kg
Ediția:1979
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540092374
Pagini: 148
Ilustrații: XII, 136 p.
Dimensiuni: 155 x 235 x 9 mm
Greutate: 0.22 kg
Ediția:1979
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Malware DetectionMihai Christodorescu-20%Preț: 1832.31 lei2290.39 lei -
Critical Infrastructure ProtectionE. Goetz-20%Preț: 633.44 lei791.81 lei -
Computer Vision: Models, Learning, and InferenceSimon J. D. Prince-20%Preț: 528.19 lei660.24 lei -
-20%Preț: 496.11 lei620.15 lei -
Spock – Up and RunningRob Fletcher-20%Preț: 333.29 lei416.62 lei -
Tragic DesignJonathan Shariat-20%Preț: 178.02 lei222.53 lei -
Thoughtful Machine Learning with PythonMatthew Kirk-20%Preț: 239.60 lei299.51 lei -
This is Service Design DoingMarc Stickdorn-20%Preț: 244.56 lei305.69 lei -
High Performance SparkHolden Karau-20%Preț: 232.55 lei290.68 lei -
Practical TableauRyan Sleeper-20%Preț: 302.60 lei378.24 lei -
A Course in Mathematical CryptographyGilbert Baumslag-20%Preț: 320.60 lei400.75 lei -
Applications and Theory of Petri Nets 2005Gianfranco Ciardo-20%Preț: 330.98 lei413.73 lei -
-20%Preț: 648.75 lei810.93 lei -
Computer Safety, Reliability, and SecurityFloor Koornneef-20%Preț: 328.72 lei410.90 lei -
-20%Preț: 322.61 lei403.26 lei
Public țintă
ResearchCuprins
I: Binary-relation semantics.- II: Computation-tree semantics.