Provably Correct Systems (NASA Monographs in Systems and Software Engineering)
from $89.86
System Design from Provably Correct Constructs: The Beginnings of True Software Engineering
from $2.36
Khrushchev Lied: The Evidence That Every Revelation of Stalin's (and Beria's) Crimes in Nikita Khrushchev's Infamous Secret Speech to the 20th Party ... is Provably False by Grover Furr (2011-05-03)
from $25.24
Computational Combinatorial Optimization: Optimal or Provably Near-Optimal Solutions (Lecture Notes in Computer Science, 2241)
$54.99
from $44.00
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (The McGraw-Hill International Series in Software)
from $89.95
System Design from Provably Correct Constructs
from $8.95
Provably-Secure Programming Languages for Remote Evaluation
from $110.00
Design and Analysis of Provably secure Pseudorandom Generators
from $52.92
Provably secure constructions in cryptography: Weak definitions of security and cryptographic constructions that can be proven secure under these definitions
from $66.00
God's Gems: God's gems are numbers and number codes which are provably non-random for which I can find no natural explanation.
$17.30
from $10.00
More results from Amazon »