Proof and System-Reliability

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

Szerző: Helmut Schwichtenberg, Ralf Steinbrüggen

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 274 Ft

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

Információk a könyvről

Szerző

Helmut Schwichtenberg, Ralf Steinbrüggen

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2002

oldal

415

EAN

9781402006081

ISBN

140200608X

Enbook ID

01414794

Kiadó

Springer-Verlag New York Inc.

Súly

1320

Méretek

155 x 235 x 24

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Proof and System-Reliability

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták