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

Software Reliability Methods

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Σκληρόδετο
Βιβλίο Software Reliability Methods Doron A. Peled
Κωδικός Libristo: 01384259
ΕΕκδοτικός οίκος Springer-Verlag New York Inc., Ιούνιος 2001
This book presents current methods for dealing with software reliability. It compares between these... Πλήρης περιγραφή
? points 141 b
58.47
Εξωτερικός αποθηκευτικός χώρος σε μικρές ποσότητες Αποστέλλουμε σε 13-18 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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


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


Τοπ
Documenting Software Architectures Paul Clements / Βιβλίο Σκληρόδετο
common.buy 68.08
Introduction to Software Testing Paul Ammann / Βιβλίο Σκληρόδετο
common.buy 92.06
Fault-Tolerant Message-Passing Distributed Systems Michel Raynal / Βιβλίο Σκληρόδετο
common.buy 75.67
Cloud Computing: 2018 Ray Rafaels / Βιβλίο Χαρτόδετο
common.buy 25.08
Structured Parallel Programming Michael McCool / Βιβλίο Χαρτόδετο
common.buy 65.96
Modern Compiler Implementation in C Andrew W Appel / Βιβλίο Χαρτόδετο
common.buy 103.19
Python Algorithms Magnus Lie Hetland / Βιβλίο Χαρτόδετο
common.buy 105.11
Algorithm Design Jon Kleinberg & Eva Tardos / Βιβλίο Χαρτόδετο
common.buy 129.60
Τοπ
Software Architecture in Practice Len Bass / Βιβλίο Χαρτόδετο
common.buy 68.79
Τοπ
Introduction to Algorithms, fourth edition Thomas H. Cormen / Βιβλίο Σκληρόδετο
common.buy 146.29
Learn Concurrent Programming with Go Cutajar / Βιβλίο Χαρτόδετο
common.buy 64.64
Programming Models for Parallel Computing Pavan Balaji / Βιβλίο Χαρτόδετο
common.buy 61.30
Wie Raubkatzen René Clément / Video Blu-ray
common.buy 23.06
Dva světy základní školy? Jan Průcha / Βιβλίο Χαρτόδετο
common.buy 10.92
Aristarch / Βιβλίο Χαρτόδετο
common.buy 31.25
Gotlib, Une vie en dessins Marcel Gotlib / Βιβλίο Σκληρόδετο
common.buy 65.65
vangelo di Maria Myriam di Magdala Jean-Yves Leloup / Βιβλίο Βιβλίο
common.buy 17.09
100 ideas para que tus hijos sean autónomos ANNE BACUS / Βιβλίο Χαρτόδετο
common.buy 7.88
PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 9.20

This book presents current methods for dealing with software reliability. It compares between these methods, and shows their advantages and disadvantages. The book presents a description of the techniques, intended for a nonexpert audience with some minimal technical background (e.g., some training in software engineering, or basic computer science courses). It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This text/reference is intended to be used as an introduction to software methods techniques, a source for learning about various ways to enhanced software reliability, a reference on formal methods technique, and also as a basis for a one semester university course in this subject. It suggests various projects and exercises for achieving "hands-on" experience with the various formal methods tools.

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

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

Πλήρες όνομα Software Reliability Methods
Συγγραφέας Doron A. Peled, Edmund M. Clarke
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Σκληρόδετο
Ημερομηνία έκδοσης 2001
Αριθμός σελίδων 332
EAN 9780387951065
ISBN 0387951067
Κωδικός Libristo 01384259
ΕΕκδοτικός οίκος Springer-Verlag New York Inc.
Βάρος 672
Διαστάσεις 238 x 164 x 26
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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


Multilevel Selection Steven C. Hertler / Βιβλίο Σκληρόδετο
common.buy 127.58
HESI A2 Study Guide 2020-2021 Trivium Health Care Exam Prep Team / Βιβλίο Χαρτόδετο
common.buy 26.30
Star Wars: The Book Of Boba Fett Junior Novel SCHREIBER JOE / Βιβλίο Χαρτόδετο
common.buy 6.57
Bible Recap Tara-Leigh Cobble / Βιβλίο Σκληρόδετο
common.buy 26.90
ZODIAC TAROT IN A TIN CHAVEZ ANA / Έντυπα Κάρτες
common.buy 16.38
Nonintubated Thoracic Surgery, An Issue of Thoracic Surgery Clinics Tommaso C Mineo / Βιβλίο Σκληρόδετο
common.buy 135.26
Peace and Turmoil Elliot Brooks / Βιβλίο Χαρτόδετο
common.buy 26.30
Τοπ
Introduction to International Relations G John Ikenberry / Βιβλίο Χαρτόδετο
common.buy 65.86
The Little Man John Galsworthy / Βιβλίο Χαρτόδετο
common.buy 8.99
Large Dams in Asia Marcus Nüsser / Βιβλίο Χαρτόδετο
common.buy 102.99
Mother Elinor Carucci / Βιβλίο Σκληρόδετο
common.buy 60.60
Willoughby Christina L. Wilkinson / Βιβλίο Χαρτόδετο
common.buy 20.83
Edge of Eternity Ken Follett / Βιβλίο Χαρτόδετο
common.buy 20.73
Strategic Leadership in the Public Sector Paul Joyce / Βιβλίο Σκληρόδετο
common.buy 278.03
Exposed Louge' / Βιβλίο Χαρτόδετο
common.buy 20.63
Avian Influenza Salomon Haugan / Βιβλίο Σκληρόδετο
common.buy 294.62
Soul of Autism William Stillman / Βιβλίο Χαρτόδετο
common.buy 14.66
Till the Sun Grows Cold Maggie McCune / Βιβλίο Χαρτόδετο
common.buy 15.98
Τοπ
Recipes from a Turkish Kitchen Ghillie Basan / Βιβλίο Σκληρόδετο
common.buy 9.70
From Mental Imagery to Spatial Cognition and Language Valerie Gyselinck / Βιβλίο Σκληρόδετο
common.buy 223.09
Wiege des Zionismus im osteuropaischen Judentum? Wenzel Seibold / Βιβλίο Χαρτόδετο
common.buy 25.08

Είσοδος

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

 
υποχρεωτικό
υποχρεωτικό

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

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

Δημιουργία λογαριασμού Libristo