Proof and System-Reliability

Name: Proof and System-Reliability
Brand: Springer Netherlands
SKU: 9781402006074
Price: 2595 CZK
Availability: InStock

Autor: Helmut Schwichtenberg, Ralf Steinbrüggen

Jazyk:

Vazba: Pevná

Vydavatel: Springer Netherlands

Dostupnost: Skladem u dodavatele

Odesíláme za 9-15 dnů

2 595 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 - Pevná

Vydáno

2002

Stránek

415

EAN

9781402006074

Enbook ID

01414793

Vydavatel

Springer Netherlands

Hmotnost

810

Rozměry

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 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é