Logic of Programs: Workshop, ETH Zürich, May-July 1979: Lecture Notes in Computer Science, cartea 125
Editat de E. Engeleren Limba Engleză Paperback – noi 1981
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1005.39 lei - 20%
Preț: 322.44 lei - 20%
Preț: 324.00 lei - 20%
Preț: 315.19 lei - 20%
Preț: 238.01 lei - 20%
Preț: 554.98 lei - 20%
Preț: 322.44 lei - 20%
Preț: 438.69 lei - 20%
Preț: 325.58 lei - 20%
Preț: 148.66 lei - 20%
Preț: 310.26 lei - 20%
Preț: 256.27 lei - 20%
Preț: 1339.86 lei - 20%
Preț: 782.28 lei - 17%
Preț: 360.19 lei - 20%
Preț: 620.45 lei - 20%
Preț: 307.71 lei - 20%
Preț: 550.29 lei - 20%
Preț: 560.32 lei - 20%
Preț: 319.32 lei - 15%
Preț: 549.86 lei - 20%
Preț: 607.39 lei - 20%
Preț: 538.29 lei - 20%
Preț: 548.74 lei - 20%
Preț: 172.69 lei - 20%
Preț: 611.22 lei - 20%
Preț: 970.25 lei - 20%
Preț: 552.64 lei - 20%
Preț: 315.78 lei - 20%
Preț: 315.78 lei - 20%
Preț: 722.90 lei - 20%
Preț: 722.90 lei - 20%
Preț: 301.95 lei - 20%
Preț: 504.57 lei - 20%
Preț: 1120.51 lei - 20%
Preț: 369.12 lei - 20%
Preț: 334.94 lei - 20%
Preț: 552.64 lei -
Preț: 389.31 lei - 20%
Preț: 564.99 lei - 20%
Preț: 724.49 lei - 20%
Preț: 552.64 lei - 20%
Preț: 1018.35 lei - 20%
Preț: 331.82 lei - 20%
Preț: 309.90 lei - 20%
Preț: 122.89 lei
Preț: 313.09 lei
Preț vechi: 391.36 lei
-20% Nou
Puncte Express: 470
Preț estimativ în valută:
59.96€ • 64.89$ • 49.98£
59.96€ • 64.89$ • 49.98£
Carte tipărită la comandă
Livrare economică 09-23 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540111603
ISBN-10: 3540111603
Pagini: 256
Ilustrații: VII, 245 p.
Dimensiuni: 155 x 233 x 17 mm
Greutate: 0.36 kg
Ediția:1981
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540111603
Pagini: 256
Ilustrații: VII, 245 p.
Dimensiuni: 155 x 233 x 17 mm
Greutate: 0.36 kg
Ediția:1981
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-8%Preț: 384.02 lei417.41 lei -
Hop Integrity in the InternetChin-Tser Huang-15%Preț: 603.82 lei710.38 lei -
-20%Preț: 615.15 lei768.94 lei -
Preț: 359.36 lei -
-18%Preț: 902.03 lei1100.04 lei -
Cross-Talk Noise Immune VLSI Design Using Regular Layout FabricsRobert K. Brayton-15%Preț: 604.28 lei710.91 lei -
Low-Energy FPGAs — Architecture and DesignVarghese George-15%Preț: 607.55 lei714.77 lei -
Spectral Techniques in VLSI CADMitchell Aaron Thornton-20%Preț: 939.46 lei1174.32 lei -
Stream Processor ArchitectureScott Rixner-20%Preț: 609.99 lei762.48 lei -
Timing Analysis and Optimization of Sequential CircuitsNaresh Maheshwari-15%Preț: 608.30 lei715.65 lei -
The ZX Spectrum Ula: How to Design a MicrocomputerChristopher David Smith-20%Preț: 224.92 lei281.15 lei -
-20%Preț: 387.88 lei484.85 lei -
-9%Preț: 733.91 lei806.49 lei -
-20%Preț: 814.57 lei1018.22 lei -
-20%Preț: 488.79 lei610.98 lei -
-34%Preț: 231.80 lei350.71 lei -
CoCo: The Colorful History of Tandy’s Underdog ComputerBoisy G Pitre-32%Preț: 252.96 lei370.80 lei -
Reconfigurable Multipipeline Computing StructuresI. A. Kaliaev-39%Preț: 985.88 lei1616.24 lei -
-20%Preț: 875.34 lei1094.18 lei -
System Architecture: An Ordinary Engineering DisciplineWolfgang J. Paul-20%Preț: 331.82 lei414.77 lei -
Preț: 403.56 lei -
Metamathematik der ElementarmathematikE. EngelerPreț: 392.12 lei -
Decision Theory with Imperfect InformationRafik A. Aliev-20%Preț: 937.03 lei1171.29 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.