Proof and System-Reliability

Name: Proof and System-Reliability
Brand: Springer-Verlag New York Inc.
SKU: 9781402006081
Price: 1310 CZK
Availability: InStock

Autor: Helmut Schwichtenberg, Ralf Steinbrüggen

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag New York Inc.

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 11-15 dnů

1 310 Kč

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent...

Informace o knize

Autor

Helmut Schwichtenberg, Ralf Steinbrüggen

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2002

Stránek

415

EAN

9781402006081

ISBN

140200608X

Enbook ID

01414794

Vydavatel

Springer-Verlag New York Inc.

Hmotnost

1320

Rozměry

155 x 235 x 24

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Proof and System-Reliability

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také