Kniha Proof and System-Reliability Helmut Schwichtenberg

Proof and System-Reliability

Jazyk: Angličtina
Väzba: Pevná
Vydavateľ: Springer Netherlands
Dostupnosť: Skladom u dodávateľa
Odosielame za 9-15 dní
107.13
As society comes to rely increasingly on software for its welfare and prosperity there is an urgent...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2002
Stránok
415
EAN
9781402006074
Enbook ID
01414793
Hmotnosť
810
Rozmery
160 x 240 x 29

Kompletný popis

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. §This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.

Mohlo by vás zaujímať

316.99

Pivotal Moments

CHERYL LABRUZZO
23.32

The Peach-Tree Borer (1899)

Mark Vernon Slingerland
15.28
10.09
22.14
16.46
86.54

Scarlet Letter

Nathaniel Hawthorne
7.73
54.10
37.14
13.32

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

LE PETIT PRINCE (EN CORÉEN)

Antoine de Saint-Exupéry
16.07

Ropa de fuego

Marcos Herrera
16.75

Infrarouge

Nancy Huston
9.30

Linnaea Entomologica.

Entomologischer Verein in Stettin
25.57
50.27