Proof and System-Reliability

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

Автор: Helmut Schwichtenberg, Ralf Steinbrüggen

Език:

Корици: С меки корици

Издател: Springer-Verlag New York Inc.

Наличност: Външен склад

Изпращаме след 5-8 дни

52.83 € 103.32 лв

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

Информация за книгата

Автор

Helmut Schwichtenberg, Ralf Steinbrüggen

Език

Английски език

Корици

Книга - С меки корици

Издадена

2002

страници

415

EAN

9781402006081

ISBN

140200608X

Enbook ID

01414794

Издател

Springer-Verlag New York Inc.

Теглоt

1320

Размери

155 x 235 x 24

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Proof and System-Reliability

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също