Mechanizing Proof. Computing, Risk And Trust

Par : Donald Mackenzie

Formats :

    • ISBN0-262-13393-8
    • EAN9780262133937
    • Date de parution01/01/2001
    • ÉditeurMIT Press (The)
    The Genial Stranger
    Donald Mackenzie
    E-book
    6,99 €
    Double Exposure
    Donald Mackenzie
    E-book
    3,99 €
    Postscript to a Dead Letter
    Donald Mackenzie
    E-book
    6,99 €
    Deep, Dark and Dead
    Donald Mackenzie
    E-book
    6,99 €
    The Scent of Danger
    Donald Mackenzie
    E-book
    3,99 €
    The Last of the Boatriders
    Donald Mackenzie
    E-book
    3,99 €
    Death is a Friend
    Donald Mackenzie
    E-book
    6,99 €
    Sleep is for the Rich
    Donald Mackenzie
    E-book
    3,99 €
    Salute from a Dead Man
    Donald Mackenzie
    E-book
    3,99 €
    Nowhere to Go
    Donald Mackenzie
    E-book
    3,99 €
    The Lonely Side of the River
    Donald Mackenzie
    E-book
    3,99 €
    Raven's Shadow
    Donald Mackenzie
    E-book
    3,99 €
    Nobody Here By That Name
    Donald Mackenzie
    E-book
    3,99 €
    A Savage State of Grace
    Donald Mackenzie
    E-book
    3,99 €
    By Any Illegal Means
    Donald Mackenzie
    E-book
    3,99 €
    The Eyes of the Goat
    Donald Mackenzie
    E-book
    3,99 €
    The Sixth Deadly Sin
    Donald Mackenzie
    E-book
    3,99 €
    Loose Cannon
    Donald Mackenzie
    E-book
    3,99 €
    Zaleski's Percentage
    Donald Mackenzie
    E-book
    3,99 €
    Raven and the Kamikaze
    Donald Mackenzie
    E-book
    3,99 €