Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Software Reliability Methods

Name: Software Reliability Methods
Brand: Springer-Verlag New York Inc.
SKU: 01384259
Price: 21647 HUF
Availability: InStock
Author: Doron A. Peled
ISBN: 9780387951065

Doron A. Peled

Edmund M. Clarke

Language

English

Book Hardback

Libristo code: 01384259

Publishers Springer-Verlag New York Inc., June 2001

This book presents current methods for dealing with software reliability. It compares between these... Full description

Libristo code: 01384259

145 b

21 647 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Documenting Software Architectures Paul Clements

Hardback

26 880 Ft

Introduction to Software Testing Paul Ammann

Hardback

34 022 Ft

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Hardback

29 715 Ft

Cloud Computing: 2018 Ray Rafaels

Paperback

9 291 Ft

Structured Parallel Programming Michael McCool

Paperback

20 458 Ft

Modern Compiler Implementation in C Andrew W Appel

Paperback

35 517 Ft

Python Algorithms Magnus Lie Hetland

Paperback

36 199 Ft

Algorithm Design Jon Kleinberg & Eva Tardos

Paperback

49 040 Ft

Programming Models for Parallel Computing Pavan Balaji

Paperback

26 673 Ft

Software Architecture in Practice Len Bass

Paperback

23 514 Ft

Introduction to Algorithms, fourth edition Thomas H. Cormen

Hardback

57 329 Ft

Learn Concurrent Programming with Go Cutajar

Paperback

22 602 Ft

Wie Raubkatzen René Clément

Blu-ray

8 976 Ft

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Game

3 352 Ft

Le narcissisme, vers une évolution de la théorie psychanalytique Roussillon

Paperback

7 796 Ft

Qu'est-ce que la société ? Hichem Karoui

Paperback

17 458 Ft

Dva světy základní školy? Jan Průcha

Paperback

3 949 Ft

Aristarch

Paperback

12 328 Ft

Mobile Suit Gundam G.M.G. Collection 11 Action Figure Earth Federation Mirai Yashima 10 cm Game/Toy

Toy

14 985 Ft

Gotlib, Une vie en dessins Marcel Gotlib

Hardback

23 645 Ft

Die deutschen und angelsächsischen Kreditbanken im Lichte ihrer Bilanzen. Willi Fischöder

Paperback

13 612 Ft

Objets d'Art Et d'Ameublement, Porcelaines Et Faiences, Pendules Anciennes, Bronzes Charles Mannheim

Paperback

4 951 Ft

El diario amarillo de Carlota Gemma Lienas

Paperback

6 070 Ft

Die postmoderne Gesellschaft und der religiöse Pluralismus. Rolf Kramer

Paperback

26 866 Ft

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.