Verifying Concurrent Processes Using Temporal Logic
Autor B. T. Hailpernen Limba Engleză Paperback – mar 1982
Preț: 318.06 lei
Preț vechi: 397.57 lei
-20%
Puncte Express: 477
Preț estimativ în valută:
56.24€ • 64.49$ • 48.61£
56.24€ • 64.49$ • 48.61£
Carte tipărită la comandă
Livrare economică 28 aprilie-12 mai
Specificații
ISBN-13: 9783540112051
ISBN-10: 3540112057
Pagini: 220
Ilustrații: VIII, 209 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.34 kg
Ediția:1982
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540112057
Pagini: 220
Ilustrații: VIII, 209 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.34 kg
Ediția:1982
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-8%Preț: 398.70 lei433.37 lei -
Spectral Interpretation of Decision DiagramsRadomir Stankovic-20%Preț: 625.27 lei781.60 lei -
System-On-A-Chip VerificationPrakash Rashinkar-18%Preț: 922.55 lei1125.06 lei -
-18%Preț: 911.05 lei1111.04 lei -
High Performance Computing Systems and ApplicationsNikitas J. Dimopoulos-20%Preț: 964.99 lei1206.24 lei -
-20%Preț: 964.33 lei1205.42 lei -
Adaptive Resonance Theory MicrochipsTeresa Serrano-Gotarredona-18%Preț: 905.52 lei1104.28 lei -
Design of Low-Voltage, Low-Power Operational Amplifier CellsRon Hogervorst-18%Preț: 1171.87 lei1429.11 lei -
Embedded System ApplicationsJean-Claude Baron-20%Preț: 1230.51 lei1538.14 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 -
Decision Theory with Imperfect InformationRafik A. Aliev-20%Preț: 950.94 lei1188.67 lei
Public țintă
ResearchCuprins
Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.