Proof and System-Reliability

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

Autor: Helmut Schwichtenberg, Ralf Steinbrüggen

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag New York Inc.

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.36 lei

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

Informații despre carte

Autor

Helmut Schwichtenberg, Ralf Steinbrüggen

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2002

Pagini

415

EAN

9781402006081

ISBN

140200608X

Enbook ID

01414794

Editura

Springer-Verlag New York Inc.

Greutate

1320

Dimensiuni

155 x 235 x 24

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Proof and System-Reliability

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și