Isbn: 9783836457699 - interactive theorem proving in software engineering (16 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (16)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Müller, 2008

    3836457695 / 9783836457699

    • Softcover

    Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 48,37

    EUR 2,30 Versand 
    Versand innerhalb von USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Mueller E.K. 7/22/2008, 2008

    3836457695 / 9783836457699

    • Softcover

    Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 50,75

     Versand gratis 
    Versand innerhalb von USA

    Anzahl: 5 verfügbar

    Paperback or Softback. Zustand: New. Interactive Theorem Proving in Software Engineering. Book.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Müller, 2008

    3836457695 / 9783836457699

    • Softcover

    Anbieter: California Books, Miami, FL, USACalifornia Books

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 55,65

     Versand gratis 
    Versand innerhalb von USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Müller, 2008

    3836457695 / 9783836457699

    • Softcover

    Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 47,60

    EUR 10,91 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. In English.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. M�ller, 2008

    3836457695 / 9783836457699

    • Softcover

    Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes KönigreichPhatpocket Limited

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Befriedigend

    EUR 48,25

    EUR 12,38 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 1 verfügbar

    Zustand: 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.…

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Müller, 2008

    3836457695 / 9783836457699

    • Softcover

    Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 47,59

    EUR 17,46 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008

    3836457695 / 9783836457699

    • Softcover

    Anbieter: Books Puddle, New York, NY, USABooks Puddle

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 81,63

    EUR 3,48 Versand 
    Versand innerhalb von USA

    Anzahl: 4 verfügbar

    Zustand: New. pp. 120.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Müller|VDM Verlag Dr. Müller e.K., 2013

    3836457695 / 9783836457699

    • Softcover

    Anbieter: moluna, Greven, Deutschlandmoluna

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 51,98

    EUR 48,99 Versand 
    Versand von Deutschland nach USA

    Anzahl: Mehr als 20 verfügbar

    Kartoniert / Broschiert. Zustand: New. 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.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Müller, 2008

    3836457695 / 9783836457699

    • Softcover

    Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Wie neu

    EUR 134,25

    EUR 17,46 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: As New. Unread book in perfect condition.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Müller, 2008

    3836457695 / 9783836457699

    • Softcover

    Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Wie neu

    EUR 124,67

    EUR 29,10 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 1 verfügbar

    Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Müller, 2008

    3836457695 / 9783836457699

    • Softcover

    Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Wie neu

    EUR 156,32

    EUR 2,30 Versand 
    Versand innerhalb von USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: As New. Unread book in perfect condition.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Müller, 2008

    3836457695 / 9783836457699

    • Softcover
    • Print-on-Demand

    Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 50,87

     Versand gratis 
    Versand innerhalb von USA

    Anzahl: Mehr als 20 verfügbar

    PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Müller, 2008

    3836457695 / 9783836457699

    • Softcover
    • Print-on-Demand

    Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 49,82

    EUR 3,83 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008

    3836457695 / 9783836457699

    • Softcover
    • Print-on-Demand

    Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 81,32

    EUR 7,57 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 4 verfügbar

    Zustand: New. Print on Demand pp. 120 23:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on White w/Gloss Lam.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008

    3836457695 / 9783836457699

    • Softcover
    • Print-on-Demand

    Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 82,74

    EUR 9,95 Versand 
    Versand von Deutschland nach USA

    Anzahl: 4 verfügbar

    Zustand: New. PRINT ON DEMAND pp. 120.

  • Sprache: Englisch

    Verlag: VDM Verlag Dr. Müller, VDM Verlag Dr. Müller E.K., 2008

    3836457695 / 9783836457699

    • Softcover
    • Print-on-Demand

    Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 70,99

    EUR 30,50 Versand 
    Versand von Deutschland nach USA

    Anzahl: 2 verfügbar

    Taschenbuch. Zustand: 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.…