Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Verification-based software-fault detection

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Verification-based software-fault detection Christoph David Gladisch
Κωδικός Libristo: 01877599
ΕΕκδοτικός οίκος Karlsruher Institut Fur Technologie, Αύγουστος 2014
Software is used in many safety- and security-critical systems. Software development is, however, an... Πλήρης περιγραφή
? points 86 b
35.69 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 8-11 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Muž, co strašnou smůlu měl Martin Pospíšil / Βιβλίο Χαρτόδετο
common.buy 10.71 €
Pozorování ptáků Chris Packham / Βιβλίο Σκληρόδετο
common.buy 12.13 €
Vive la France: Sommerliche Getränkegenüsse aus Frankreich Leachim Sachet / Βιβλίο Σκληρόδετο
common.buy 20.62 €
Luis Landero - El guitarrista Sabine Husmann / Βιβλίο Χαρτόδετο
common.buy 16.17 €
Die Osterschildkröte Guido Kasmann / Βιβλίο Χαρτόδετο
common.buy 8.28 €
Kombipaket Strafrecht Allgemeiner Teil I Stefan Seiler / Βιβλίο Χαρτόδετο
common.buy 48.74 €
The Grammar Tree / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 24.36 €
Oval Elvia Wilk / Βιβλίο Βιβλίο
common.buy 19.10 €
Curso de formación continuada en dolor en pediatr­a MARTIN MATEOS / Βιβλίο Βιβλίο
common.buy 72.30 €
UN PHILOSOPHE GREC EN GAULE RISER JEAN / Βιβλίο Σκληρόδετο
common.buy 39.53 €
Der große Rätselblock. Bd.45 / Βιβλίο Χαρτόδετο
common.buy 5.86 €
Τοπ
Game of Thrones - Der Winter naht George Raymond Richard Martin / Βιβλίο Σκληρόδετο
common.buy 27.60 €
Grundzuge Der Praktischen Pharmazie Richard Brieger / Βιβλίο Χαρτόδετο
common.buy 77.06 €
ESCRITOS EN LA CALLE Alejandro Guerri / Βιβλίο Χαρτόδετο
common.buy 19.00 €
Panikattacken und andere Angststörungen loswerden Klaus Bernhardt / Βιβλίο Χαρτόδετο
common.buy 17.39 €
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue Bapst-G / Βιβλίο Χαρτόδετο
common.buy 17.69 €
Προετοιμαζουμε
Orange Line 2 Frank Haß / Βιβλίο Σκληρόδετο
common.buy 31.44 €

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.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Verification-based software-fault detection
Συγγραφέας Christoph David Gladisch
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2014
Αριθμός σελίδων 292
EAN 9783866446762
Κωδικός Libristo 01877599
ΕΕκδοτικός οίκος Karlsruher Institut Fur Technologie
Βάρος 467
Διαστάσεις 170 x 244 x 15

Κατηγορία

Computing & Information Technology > Information technology: general issues
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Lessons from the Damned Nancy E. Stoller / Βιβλίο Χαρτόδετο
common.buy 81.81 €
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy Amy Riolo / Βιβλίο Χαρτόδετο
common.buy 20.32 €
Investigations into Narrative Structures Christian Todenhagen / Βιβλίο Σκληρόδετο
common.buy 103.45 €
Voices from Exile Victor Montejo / Βιβλίο Χαρτόδετο
common.buy 31.14 €
Nevada: A History Robert Laxalt / Βιβλίο Χαρτόδετο
common.buy 18.60 €
Stanfield Hall JOHN GILBERT / Βιβλίο Χαρτόδετο
common.buy 26.79 €
United States' Grand Strategy Through the Lens of Lebanon in 1983 and Iraq in 2003 U S Army Command and General Staff Coll / Βιβλίο Χαρτόδετο
common.buy 15.56 €
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 / Βιβλίο Χαρτόδετο
common.buy 9.09 €
Dracula's America: Shadows of the West: Forbidden Power Jonathan Haythornthwaite / Βιβλίο Χαρτόδετο
common.buy 15.97 €
Ancient Egypt Arthur Gilman / Βιβλίο Χαρτόδετο
common.buy 28.51 €
Micrographia Restaurata Robert Hooke / Βιβλίο Σκληρόδετο
common.buy 32.15 €
Killer Tapes and Shattered Screens Caetlin Benson Allott / Βιβλίο Χαρτόδετο
common.buy 40.85 €
The Annunaki Robert Smith / Βιβλίο Χαρτόδετο
common.buy 10.81 €
Τοπ
Orlando Virginia Woolf / Βιβλίο Χαρτόδετο
common.buy 8.59 €
6 Full-Length PARCC Grade 7 Math Practice Tests Reza Nazari / Βιβλίο Χαρτόδετο
common.buy 16.27 €
Hiding Behind A Mask K. Weikel / Βιβλίο Χαρτόδετο
common.buy 14.65 €
Φθηνά
Daddy's Home St. Vincent / Audio Audio vinyl
common.buy 20.01 €
Horses of Lost Valley Aileen Kilgore Henderson / ebook Adobe ePub DRM
common.buy 4.64 €
Warren Buffett's Ground Rules Jeremy Miller / ebook Adobe ePub DRM
common.buy 11.52 €
Croatia: Istria: With Rijeka and the Slovenian Adriatic Thammy Evans / Βιβλίο Χαρτόδετο
common.buy 21.23 €
Return of the Underwear Dragon Rothman / Βιβλίο Χαρτόδετο
common.buy 7.17 €
The Excavations at Ismant Al-Kharab: Volume II - The Christian Monuments of Kellis: The Churches and Cemeteries Gillian E Bowen / Βιβλίο Σκληρόδετο
common.buy 103.55 €
NEW DAD JOKES Harding / Βιβλίο Χαρτόδετο
common.buy 11.32 €
Letters of Gustave Flaubert Gustave Flaubert / ebook Adobe ePub DRM
common.buy 24.67 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;