Ralf Steinbruggen – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Inbunden, Engelska, 2002
1 030 kr
Skickas inom 10-15 vardagar
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.
Del 62 - NATO Science Series II: Mathematics, Physics and Chemistry
Proof and System-Reliability
Häftad, Engelska, 2002
545 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Tyska, 2003
422 kr
Skickas inom 10-15 vardagar
E-bok
PDF, Tyska, 2013236 kr
Läs direkt efter köp
Häftad, Tyska, 2013
318 kr
Skickas inom 10-15 vardagar
E-bok
PDF, Engelska, 2012712 kr
Läs direkt efter köp
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.