Logic of Programs
Editat de E. Engeleren Limba Engleză Paperback – noi 1981
Preț: 319.92 lei
Preț vechi: 399.90 lei
-20%
Puncte Express: 480
Preț estimativ în valută:
56.57€ • 64.87$ • 48.89£
56.57€ • 64.87$ • 48.89£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783540111603
ISBN-10: 3540111603
Pagini: 256
Ilustrații: VII, 245 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.39 kg
Ediția:1981
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540111603
Pagini: 256
Ilustrații: VII, 245 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.39 kg
Ediția:1981
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-8%Preț: 398.70 lei433.37 lei -
Hop Integrity in the InternetChin-Tser Huang-15%Preț: 612.85 lei721.00 lei -
-20%Preț: 624.33 lei780.42 lei -
-18%Preț: 915.43 lei1116.37 lei -
Cross-Talk Noise Immune VLSI Design Using Regular Layout FabricsRobert K. Brayton-15%Preț: 613.31 lei721.53 lei -
Low-Energy FPGAs — Architecture and DesignVarghese George-15%Preț: 616.64 lei725.45 lei -
Spectral Techniques in VLSI CADMitchell Aaron Thornton-20%Preț: 953.40 lei1191.75 lei -
Stream Processor ArchitectureScott Rixner-20%Preț: 609.41 lei761.76 lei -
Timing Analysis and Optimization of Sequential CircuitsNaresh Maheshwari-15%Preț: 617.39 lei726.35 lei -
The ZX Spectrum Ula: How to Design a MicrocomputerChristopher David Smith-20%Preț: 227.74 lei284.67 lei -
-20%Preț: 414.40 lei517.99 lei -
Comp Arch Security CShuangbao Paul Wang-9%Preț: 749.42 lei823.53 lei -
Vision Architectures CHong Jeong-20%Preț: 826.68 lei1033.35 lei -
Enterprise Content and Search Management for Building Digital PlatformsShailesh Kumar Shivakumar-20%Preț: 484.53 lei605.66 lei -
-20%Preț: 300.45 lei375.57 lei -
CoCo: The Colorful History of Tandy’s Underdog ComputerBoisy G Pitre-20%Preț: 357.30 lei446.62 lei -
Reconfigurable Multipipeline Computing StructuresIgor A Kalyaev-41%Preț: 1023.43 lei1749.22 lei -
-20%Preț: 888.33 lei1110.42 lei -
System ArchitectureWolfgang J. Paul-20%Preț: 338.19 lei422.74 lei -
Preț: 409.69 lei -
Metamathematik der ElementarmathematikE. EngelerPreț: 398.09 lei -
Decision Theory with Imperfect InformationRafik A. Aliev-20%Preț: 950.94 lei1188.67 lei
Public țintă
ResearchCuprins
On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL — Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions.