Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Proof and System-Reliability

Name: Proof and System-Reliability
Brand: Springer-Verlag New York Inc.
SKU: 01414794
Price: 19902 HUF
Availability: InStock
Author: Helmut Schwichtenberg
ISBN: 9781402006081

Helmut Schwichtenberg

Ralf Steinbrüggen

Language

English

Book Paperback

Libristo code: 01414794

Publishers Springer-Verlag New York Inc., May 2002

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

Libristo code: 01414794

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Delfini, vessilli, cannonate. Autobiografia letteraria Eraldo Affinati

Paperback

9 937 Ft

La Dragonne au cœur de pierre Véronique MASSENOT

Hardback

7 256 Ft

L'architecture de terre crue en Bas-Quercy STADNICKY

Paperback

4 044 Ft

Le processus psychique et la théorie freudienne Bernat

Paperback

9 983 Ft

La Ballade du voleur au Whisky Julian Rubinstein

Paperback

4 368 Ft

Melanges Pierre Lambert Consacres a Huysmans Pierre Cogny

Paperback

13 468 Ft

Ask Barselonada Bekler Ugur Becerikli

Paperback

7 737 Ft

Nomada ETXEBERRIA

Paperback

8 763 Ft

La crisis : salir de la crisis del capitalismo o salir del capitalismo en crisis Samir Amin

Paperback

10 085 Ft

Histoire Du Chat Et de La Souris Qui Devinrent Amis Sepulveda Luis

Paperback

5 278 Ft

Codex Diplomaticus Aevi Saxonici John Mitchell Kemble

Paperback

18 159 Ft

Sag es treffender! (Krach, bumm, bäng!) Karin Pfeiffer

Sheet

2 842 Ft

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.