Articles liés à Proof and System-Reliability
Proof and System-Reliability - Couverture rigide
Livre 198 sur 241: NATO Science Series II: Mathematics, Physics and Chemistry
Synopsis
Cartesian Closed Categories of Effective Domains; G. Hamrin, V. Stoltenberg-Hansen. Algebraic Game Semantics: A Tutorial Introduction; S. Abramsky. Algebra of Networks; G. Stefanescu. Computability and Complexity from a Programming Perspective; N.D. Jones. Logical Frameworks: A Brief Introduction; F. Pfenning. Ludics: An Introduction; J.-Y. Girard. Naïve Computational Type Theory; R. Constable. Proof-Carrying Code. Design and Implementation; G. Necula. Abstractions and Reductions in Model Checking; O. Grumberg. Hoare Logic: From First Order to Propositional Formalism; J. Tiuryn. Hoare Logics in Isabelle/HOL; T. Nipkow. Proof Theory and Complexity; G.E. Ostrin, S.S. Wainer. Feasible Computation with Higher Types; H. Schwichtenberg, S.J. Bellantoni.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Proof and System-Reliability
Image fournie par le vendeur
Proof and System-Reliability (NATO SCIENCE SERIES II MATHEMATICS, PHYSICS AND CHEMISTRY)
Edité par
Kluwer Academic Pub, 2002
ISBN 10 : 1402006071
ISBN 13 : 9781402006074
Ancien ou d'occasion
Couverture rigide
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. N° de réf. du vendeur OTV.1402006071.G
Acheter D'occasion
EUR 67,51
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Proof and System-Reliability (NATO SCIENCE SERIES II MATHEMATICS, PHYSICS AND CHEMISTRY)
Edité par
Kluwer Academic Pub, 2002
ISBN 10 : 1402006071
ISBN 13 : 9781402006074
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9781402006074
Acheter neuf
EUR 118,48
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof And System-reliabilityproof And System-reliability (nato Science Series Ii: Mathematics, Physics And Chemistry)
Edité par
Kluwer Academic Pub, 2002
ISBN 10 : 1402006071
ISBN 13 : 9781402006074
Neuf
Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-153212
Acheter neuf
EUR 119,61
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Proof And System-reliabilityproof And System-reliability (nato Science Series Ii: Mathematics, Physics And Chemistry)
Edité par
Kluwer Academic Pub, 2002
ISBN 10 : 1402006071
ISBN 13 : 9781402006074
Neuf
Couverture rigide
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABBB-159842
Acheter neuf
EUR 119,61
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Proof and System-Reliability (NATO SCIENCE SERIES II MATHEMATICS, PHYSICS AND CHEMISTRY)
Edité par
Kluwer Academic Pub, 2002
ISBN 10 : 1402006071
ISBN 13 : 9781402006074
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In English. N° de réf. du vendeur ria9781402006074_new
Acheter neuf
EUR 110
Expédition à EUR 13,14
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof and System-Reliability
Edité par
Kluwer Academic Publishers, 2002
ISBN 10 : 1402006071
ISBN 13 : 9781402006074
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9781402006074
Acheter neuf
EUR 130,60
Expédition à EUR 18,63
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Proof and System-Reliability
Edité par
Springer Netherlands, 2002
ISBN 10 : 1402006071
ISBN 13 : 9781402006074
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in t. N° de réf. du vendeur 872567297
Acheter neuf
EUR 121,61
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
Edité par
Kluwer Academic Pub, 2002
ISBN 10 : 1402006071
ISBN 13 : 9781402006074
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 1st edition. 415 pages. 9.50x6.50x1.25 inches. In Stock. N° de réf. du vendeur x-1402006071
Acheter neuf
EUR 158,39
Expédition à EUR 14,55
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
PROOF AND SYSTEM-RELIABILITY: v. 62 (NATO Science Series II)
Edité par
Springer, 2002
ISBN 10 : 1402006071
ISBN 13 : 9781402006074
Ancien ou d'occasion
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. xii + 415 1st Edition. N° de réf. du vendeur 263129541
Acheter D'occasion
EUR 171,82
Expédition à EUR 3,48
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
PROOF AND SYSTEM-RELIABILITY: v. 62 (NATO Science Series II)
Edité par
Springer, 2002
ISBN 10 : 1402006071
ISBN 13 : 9781402006074
Ancien ou d'occasion
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. xii + 415 Illus. N° de réf. du vendeur 5799706
Acheter D'occasion
EUR 175,64
Expédition à EUR 7,57
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)