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.
Autres éditions populaires du même titre
Résultats de recherche pour Proof and System-Reliability
Image d'archives
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9781402006074
Acheter neuf
EUR 96,92
Frais de port :
EUR 7,72
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Proof And System-reliabilityproof And System-reliability (nato Science Series Ii: Mathematics, Physics And Chemistry)
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 ABNR-90366
Acheter neuf
EUR 117,71
Frais de port :
Gratuit
Vers 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)
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 117,71
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781402006074_new
Acheter neuf
EUR 107,65
Frais de port :
EUR 13,55
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
PROOF AND SYSTEM-RELIABILITY: v. 62 (NATO Science Series II)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. xii + 415 1st Edition. N° de réf. du vendeur 263129541
Acheter neuf
EUR 128,93
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. N° de réf. du vendeur SHAK153212
Acheter neuf
EUR 138,90
Frais de port :
Gratuit
De Australie vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
PROOF AND SYSTEM-RELIABILITY: v. 62 (NATO Science Series II)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. xii + 415 Illus. N° de réf. du vendeur 5799706
Acheter neuf
EUR 135,90
Frais de port :
EUR 7,35
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
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 526. N° de réf. du vendeur C9781402006074
Acheter neuf
EUR 126,55
Frais de port :
EUR 18,11
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
PROOF AND SYSTEM-RELIABILITY: v. 62 (NATO Science Series II)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. xii + 415. N° de réf. du vendeur 183129551
Acheter neuf
EUR 136,20
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
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 4 sur 5 étoiles
Gebunden. 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,01
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles