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
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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ț: 413.32 lei449.26 lei -
Hop Integrity in the InternetChin-Tser Huang-20%Preț: 625.07 lei781.34 lei -
Do-All Computing in Distributed SystemsChryssis Georgiou-20%Preț: 627.28 lei784.10 lei -
-18%Preț: 915.43 lei1116.37 lei -
Cross-Talk Noise Immune VLSI Design Using Regular Layout FabricsRobert K. Brayton-15%Preț: 616.39 lei725.17 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ț: 616.06 lei770.07 lei -
Timing Analysis and Optimization of Sequential CircuitsNaresh Maheshwari-15%Preț: 620.08 lei729.50 lei -
The ZX Spectrum Ula: How to Design a MicrocomputerChristopher David Smith-20%Preț: 229.56 lei286.95 lei -
-20%Preț: 415.99 lei519.99 lei -
Comp Arch Security CShuangbao Paul Wang-9%Preț: 761.98 lei837.34 lei -
Vision Architectures CHong Jeong-20%Preț: 840.58 lei1050.73 lei -
Enterprise Content and Search Management for Building Digital PlatformsShailesh Kumar Shivakumar-20%Preț: 493.61 lei617.00 lei -
-20%Preț: 300.61 lei375.76 lei -
CoCo: The Colorful History of Tandy’s Underdog ComputerBoisy G Pitre-20%Preț: 356.13 lei445.17 lei -
Reconfigurable Multipipeline Computing StructuresIgor A Kalyaev-41%Preț: 1061.25 lei1808.32 lei -
Transformation of Collective IntelligencesJean-Max Noyer-20%Preț: 892.51 lei1115.64 lei -
System ArchitectureWolfgang J. Paul-20%Preț: 339.48 lei424.35 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.