Sinossi
Interactive theorem proving is the modern way of formalizing mathematics using a computer as a proof assistant, helping solve simple tasks andkeeping an order on the proofs.Still, it is a tedious task, as such mechanical proofs contain detail that humans do not want to see.When it comes to the verification of real world applications in software engineering, as required for the assurance of safety and security properties of embedded systems, the level of detail becomes even more annoying. In fact, it is a gargantuan task to prove a program correct or prove that an implementation conforms to its UML-specification.The sheer mass of proof obligations alone - apart from the hidden subtlety of such challenges - obstructs quality assurance of software artifacts with interactive theorem provers. This book draws a line to show up how far current cutting edge research has succeeded in tackling this long standing quest.Using examples from algorithm development, Java bytecode verification and UML state machine analysis the author introduces current trends in interactive theorem proving technology using Coq, Isabelle, andmodel checking.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
L'autore
Florian Kammüller is a lecturer at TechnischeUniversität Berlin. He worked as a researcher in different groups at the University of Cambridge and INRIA, France, on the development andapplication of interactive theorem proving to challenges from softwareengineering, ranging from security of bytecode verifiers to safety of windpower plants.
Product Description
Book by Kammller Florian
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Interactive Theorem Proving in Software Engineering
Immagini fornite dal venditore
Interactive Theorem Proving in Software Engineering
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5706837-n
Compra nuovo
EUR 47,74
Spedizione EUR 2,29
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Interactive Theorem Proving in Software Engineering (Paperback or Softback)
Editore:
VDM Verlag Dr. Mueller E.K. 7/22/2008, 2008
ISBN 10: 3836457695
ISBN 13: 9783836457699
Nuovo
Paperback or Softback
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Interactive Theorem Proving in Software Engineering. Book. Codice articolo BBS-9783836457699
Compra nuovo
EUR 50,11
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Interactive Theorem Proving in Software Engineering
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9783836457699
Compra nuovo
EUR 50,98
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Interactive Theorem Proving in Software Engineering
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9783836457699
Compra nuovo
EUR 48,22
Spedizione EUR 3,77
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Interactive Theorem Proving in Software Engineering
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5706837-n
Compra nuovo
EUR 48,21
Spedizione EUR 17,19
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Interactive Theorem Proving in Software Engineering
Editore:
VDM Verlag Dr. M�ller, 2008
ISBN 10: 3836457695
ISBN 13: 9783836457699
Antico o usato
Brossura
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-J-025-01452
Compra usato
EUR 54,60
Spedizione EUR 12,19
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Interactive Theorem Proving in Software Engineering
Editore:
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008
ISBN 10: 3836457695
ISBN 13: 9783836457699
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 120. Codice articolo 26128798884
Compra nuovo
EUR 77,05
Spedizione EUR 3,46
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Interactive Theorem Proving in Software Engineering
Editore:
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008
ISBN 10: 3836457695
ISBN 13: 9783836457699
Nuovo
Brossura
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 18128798894
Compra nuovo
EUR 78,65
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Interactive Theorem Proving in Software Engineering
Editore:
VDM Verlag Dr. Müller|VDM Verlag Dr. Müller e.K., 2013
ISBN 10: 3836457695
ISBN 13: 9783836457699
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Interactive theorem proving is the modern way of formalizing mathematics using a computer as a proof assistant, helping solve simple tasks andkeeping an order on the proofs.Still, it is a tedious task, as such mechanical proofs contain detail that humans do. Codice articolo 5387075
Compra nuovo
EUR 46,44
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Interactive Theorem Proving in Software Engineering
Editore:
VDM Verlag Dr. Müller, VDM Verlag Dr. Müller E.K., 2008
ISBN 10: 3836457695
ISBN 13: 9783836457699
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Interactive theorem proving is the modern way of formalizing mathematics using a computer as a proof assistant, helping solve simple tasks andkeeping an order on the proofs.Still, it is a tedious task, as such mechanical proofs contain detail that humans do not want to see.When it comes to the verification of real world applications in software engineering, as required for the assurance of safety and security properties of embedded systems, the level of detail becomes even more annoying. In fact, it is a gargantuan task to prove a program correct or prove that an implementation conforms to its UML-specification.The sheer mass of proof obligations alone - apart from the hidden subtlety of such challenges - obstructs quality assurance of software artifacts with interactive theorem provers. This book draws a line to show up how far current cutting edge research has succeeded in tackling this long standing quest.Using examples from algorithm development, Java bytecode verification and UML state machine analysis the author introduces current trends in interactive theorem proving technology using Coq, Isabelle, andmodel checking. Codice articolo 9783836457699
Compra nuovo
EUR 49,95
Spedizione EUR 60,98
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili