Ralf Steinbruggen – författare
Visar alla böcker från författaren Ralf Steinbruggen. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Inbunden, Engelska, 2002
1 032 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
547 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
425 kr
Skickas inom 10-15 vardagar
E-bok
PDF, Tyska, 2013236 kr
Läs direkt efter köp
Häftad, Tyska, 2013
320 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.