Proof and System-Reliability

Name: Proof and System-Reliability
Brand: Springer Netherlands
SKU: 9781402006074
Price: 42472 HUF
Availability: InStock

Szerző: Helmut Schwichtenberg, Ralf Steinbrüggen

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer Netherlands

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

Küldés 14-21 napon belül

42 472 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 - Kemény kötésű

Kiadva

2002

oldal

415

EAN

9781402006074

Enbook ID

01414793

Kiadó

Springer Netherlands

Súly

810

Méretek

160 x 240 x 29

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