Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Software Reliability Methods

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

Doron A. Peled

Edmund M. Clarke

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 01384259

Nakladnici Springer-Verlag New York Inc., lipanj 2001

This book presents current methods for dealing with software reliability. It compares between these... Cijeli opis

Libristo kod: 01384259

135 b

55.91 €

Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

Documenting Software Architectures Paul Clements

Tvrdi uvez

68.17 €

Introduction to Software Testing Paul Ammann

Tvrdi uvez

88.43 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Tvrdi uvez

75.77 €

Cloud Computing: 2018 Ray Rafaels

Meki uvez

23.80 €

Structured Parallel Programming Michael McCool

Meki uvez

53.98 €

Modern Compiler Implementation in C Andrew W Appel

Meki uvez

93.90 €

Python Algorithms Magnus Lie Hetland

Meki uvez

95.72 €

Algorithm Design Jon Kleinberg & Eva Tardos

Meki uvez

129.76 €

Programming Models for Parallel Computing Pavan Balaji

Meki uvez

69.48 €

Software Architecture in Practice Len Bass

Meki uvez

61.58 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Tvrdi uvez

147.49 €

Learn Concurrent Programming with Go Cutajar

Meki uvez

58.24 €

Wie Raubkatzen René Clément

Blu-ray

23.09 €

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Igra

8.90 €

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

Meki uvez

20.76 €

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

Meki uvez

44.97 €

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

Meki uvez

10.32 €

Aristarch

Meki uvez

31.29 €

Mobile Suit Gundam G.M.G. Collection 11 Action Figure Earth Federation Mirai Yashima 10 cm Igra/Igračka

Igračka

41.63 €

Gotlib, Une vie en dessins Marcel Gotlib

Tvrdi uvez

62.80 €

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

Meki uvez

35.95 €

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

Meki uvez

12.75 €

El diario amarillo de Carlota Gemma Lienas

Meki uvez

16.81 €

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

Meki uvez

70.90 €

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.