Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
ISBN 10: 1402006071 ISBN 13: 9781402006074
Editore: Springer, 2002
Nuovi
Rilegato
Da
Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 30 agosto 2024
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
SUPER FAST SHIPPING. Codice articolo 9781402006074
Riassunto:
Contributors in computing and information science, mathematics, logic, and complexity describe recent work in domains and semantics, logical foundations, proof and security, programming logic, and logic and feasibility in these papers from an August 2001 meeting. Some specific topics include Cartesian closed categories of effective domains, algorithmic game semantics, naive computational type theory, design and implementation of proof-carrying code, abstractions and reductions in model checking, and Hoare logic. There is no subject index. Annotation (c) Book News, Inc., Portland, OR (booknews.com)
Contenuti: 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Proof and System-Reliability (NATO Science ...
Casa editrice: Springer
Data di pubblicazione: 2002
Legatura: Rilegato
Condizione: New
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781402006074_new
Compra nuovo
EUR 108,04
Spese di spedizione:
EUR 13,60
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Proof And System-reliabilityproof And System-reliability (nato Science Series Ii: Mathematics, Physics And Chemistry)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-153212
Compra nuovo
EUR 118,12
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Proof And System-reliabilityproof And System-reliability (nato Science Series Ii: Mathematics, Physics And Chemistry)
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo ABNR-90366
Compra nuovo
EUR 118,12
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Proof and System-Reliability
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Gebunden. Condizione: 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. Codice articolo 872567297
Compra nuovo
EUR 121,01
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Proof and System-Reliability
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 526. Codice articolo C9781402006074
Compra nuovo
EUR 127,00
Spese di spedizione:
EUR 18,17
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
PROOF AND SYSTEM-RELIABILITY: v. 62 (NATO Science Series II)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xii + 415 1st Edition. Codice articolo 263129541
Compra nuovo
EUR 129,38
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
PROOF AND SYSTEM-RELIABILITY: v. 62 (NATO Science Series II)
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xii + 415. Codice articolo 183129551
Compra nuovo
EUR 136,20
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
PROOF AND SYSTEM-RELIABILITY: v. 62 (NATO Science Series II)
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xii + 415 Illus. Codice articolo 5799706
Compra nuovo
EUR 136,36
Spese di spedizione:
EUR 7,38
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
Da: ALLBOOKS1, Direk, SA, Australia
Valutazione del venditore 5 su 5 stelle
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Codice articolo SHAK153212
Compra nuovo
EUR 139,38
Spese di spedizione:
GRATIS
Da: Australia a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Proof and System-Reliability
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives. Codice articolo 9781402006074
Compra nuovo
EUR 148,06
Spese di spedizione:
EUR 64,06
Da: Germania a: U.S.A.
Quantità: 2 disponibili