Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Verification-based software-fault detection

Language EnglishEnglish
Book Paperback
Book Verification-based software-fault detection Christoph David Gladisch
Libristo code: 01877599
Publishers Karlsruher Institut Fur Technologie, August 2014
Software is used in many safety- and security-critical systems. Software development is, however, an... Full description
? points 86 b
35.71 €
In stock at our supplier Shipping in 8-11 days

Up to 30 days for returns

Customers also purchased

Muž, co strašnou smůlu měl Martin Pospíšil / Book Paperback
common.buy 10.71 €
Pozorování ptáků Chris Packham / Book Hardback
common.buy 11.42 €
Vive la France: Sommerliche Getränkegenüsse aus Frankreich Leachim Sachet / Book Hardback
common.buy 20.63 €
Luis Landero - El guitarrista Sabine Husmann / Book Paperback
common.buy 16.18 €
Die Osterschildkröte Guido Kasmann / Book Paperback
common.buy 8.29 €
Kombipaket Strafrecht Allgemeiner Teil I Stefan Seiler / Book Paperback
common.buy 48.76 €
The Grammar Tree / Game/Toy Game
common.buy 24.27 €
Oval Elvia Wilk / Book Book
common.buy 19.11 €
Curso de formación continuada en dolor en pediatr­a MARTIN MATEOS / Book Book
common.buy 72.33 €
UN PHILOSOPHE GREC EN GAULE RISER JEAN / Book Hardback
common.buy 37.83 €
Der große Rätselblock. Bd.45 / Book Paperback
common.buy 5.86 €
Top
Game of Thrones - Der Winter naht George Raymond Richard Martin / Book Hardback
common.buy 27.61 €
Grundzuge Der Praktischen Pharmazie Richard Brieger / Book Paperback
common.buy 77.09 €
ESCRITOS EN LA CALLE Alejandro Guerri / Book Paperback
common.buy 19.01 €
Panikattacken und andere Angststörungen loswerden Klaus Bernhardt / Book Paperback
common.buy 17.39 €
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue Bapst-G / Book Paperback
common.buy 16.79 €
Coming soon
Orange Line 2 Frank Haß / Book Hardback
common.buy 31.46 €

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Verification-based software-fault detection
Author Christoph David Gladisch
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 292
EAN 9783866446762
Libristo code 01877599
Publishers Karlsruher Institut Fur Technologie
Weight 467
Dimensions 170 x 244 x 15

Categories

Computing & Information Technology > Information technology: general issues
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Lessons from the Damned Nancy E. Stoller / Book Paperback
common.buy 78.30 €
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy Amy Riolo / Book Paperback
common.buy 19.32 €
Investigations into Narrative Structures Christian Todenhagen / Book Hardback
common.buy 103.50 €
Voices from Exile Victor Montejo / Book Paperback
common.buy 29.84 €
Nevada: A History Robert Laxalt / Book Paperback
common.buy 18.61 €
Wilderness Rivers of Manitoba: Journey by Canoe Through the Land Where the Spirit Lives Stephanie Aykroyd / Book Paperback
common.buy 18.61 €
Stanfield Hall JOHN GILBERT / Book Paperback
common.buy 26.80 €
United States' Grand Strategy Through the Lens of Lebanon in 1983 and Iraq in 2003 U S Army Command and General Staff Coll / Book Paperback
common.buy 14.76 €
How to Draw Kawaii Cute Animals and Characters: Drawing for Kids with Letters Numbers and Shapes: Cartooning for Kids and Learning How to Draw Cute Ka Rachel a Goldstein / Book Paperback
common.buy 8.69 €
Dracula's America: Shadows of the West: Forbidden Power Jonathan Haythornthwaite / Book Paperback
common.buy 15.98 €
Ancient Egypt Arthur Gilman / Book Paperback
common.buy 28.52 €
Micrographia Restaurata Robert Hooke / Book Hardback
common.buy 30.75 €
Killer Tapes and Shattered Screens Caetlin Benson Allott / Book Paperback
common.buy 38.84 €
The Annunaki Robert Smith / Book Paperback
common.buy 10.31 €
Top
Orlando Virginia Woolf / Book Paperback
common.buy 8.59 €
6 Full-Length PARCC Grade 7 Math Practice Tests Reza Nazari / Book Paperback
common.buy 15.57 €
Hiding Behind A Mask K. Weikel / Book Paperback
common.buy 13.95 €
Affordable
Daddy's Home St. Vincent / Audio Audio vinyl
common.buy 20.02 €
Horses of Lost Valley Aileen Kilgore Henderson / E-book Adobe ePub DRM
common.buy 4.64 €
Warren Buffett's Ground Rules Jeremy Miller / E-book Adobe ePub DRM
common.buy 11.52 €
Croatia: Istria: With Rijeka and the Slovenian Adriatic Thammy Evans / Book Paperback
common.buy 21.24 €
Return of the Underwear Dragon Rothman / Book Paperback
common.buy 7.17 €
The Excavations at Ismant Al-Kharab: Volume II - The Christian Monuments of Kellis: The Churches and Cemeteries Gillian E Bowen / Book Hardback
common.buy 103.60 €
NEW DAD JOKES Harding / Book Paperback
common.buy 10.61 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?