Order Total (1 Item Items):
Shipping Destination:
Interactive Theorem Proving Software by Kammüller Florian (12 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (12)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (9)
- As New, Fine or Near Fine (3)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (12)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (7)
- Not Print on Demand (9)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
Seller Location
Seller Rating
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836457695 ISBN 13: 9783836457699
Condition: New.
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836457695 ISBN 13: 9783836457699
Condition: New.
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836457695 ISBN 13: 9783836457699
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 39.71
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836457695 ISBN 13: 9783836457699
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller|VDM Verlag Dr. Müller e.K., 2013
ISBN 10: 3836457695 ISBN 13: 9783836457699
Kartoniert / Broschiert. Condition: 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.
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller, 2013
ISBN 10: 3836457695 ISBN 13: 9783836457699
Taschenbuch. Condition: Neu. Interactive Theorem Proving in Software Engineering | Florian Kammüller | Taschenbuch | Kartoniert / Broschiert | Englisch | 2013 | VDM Verlag Dr. Müller | EAN 9783836457699 | Verantwortliche Person für die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu.
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836457695 ISBN 13: 9783836457699
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836457695 ISBN 13: 9783836457699
Paperback. Condition: Like New. Like New. book.
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836457695 ISBN 13: 9783836457699
Condition: As New. Unread book in perfect condition.
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836457695 ISBN 13: 9783836457699
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836457695 ISBN 13: 9783836457699
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
£ 41.56
£ 3.29 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Interactive Theorem Proving in Software Engineering
Language: English
Published by VDM Verlag Dr. Müller, VDM Verlag Dr. Müller E.K., 2008
ISBN 10: 3836457695 ISBN 13: 9783836457699
Taschenbuch. Condition: 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.
