First-Order Dynamic Logic
Autor D. Harelen Limba Engleză Paperback – apr 1979
Preț: 106.63 lei
Preț vechi: 133.29 lei
-20% Nou
Puncte Express: 160
Preț estimativ în valută:
18.87€ • 22.00$ • 16.57£
18.87€ • 22.00$ • 16.57£
Carte tipărită la comandă
Livrare economică 15-29 ianuarie 26
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 9 mm
Greutate: 0.24 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.24 kg
Ediția:1979
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Malware DetectionMihai Christodorescu-20%Preț: 1831.89 lei2289.86 lei -
Critical Infrastructure ProtectionE. Goetz-20%Preț: 633.44 lei791.81 lei -
Computer Vision: Models, Learning, and InferenceSimon J. D. Prince-20%Preț: 528.60 lei660.76 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ț: 177.83 lei222.29 lei -
Thoughtful Machine Learning with PythonMatthew Kirk-20%Preț: 238.98 lei298.73 lei -
This is Service Design DoingMarc Stickdorn-20%Preț: 247.82 lei309.77 lei -
High Performance SparkHolden Karau-20%Preț: 232.55 lei290.68 lei -
Practical TableauRyan Sleeper-20%Preț: 302.61 lei378.25 lei -
A Course in Mathematical CryptographyGilbert Baumslag-20%Preț: 319.80 lei399.76 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.