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
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: 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ț: 413.32 lei449.26 lei -
Spectral Interpretation of Decision DiagramsRadomir Stankovic-20%Preț: 630.36 lei787.94 lei -
System-On-A-Chip VerificationPrakash Rashinkar-18%Preț: 930.24 lei1134.43 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ț: 927.07 lei1130.58 lei -
Design of Low-Voltage, Low-Power Operational Amplifier CellsRon Hogervorst-18%Preț: 1176.07 lei1434.23 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ț: 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 -
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.