Springer jan 2011 (3 Ergebnisse)
Sprache: Englisch
Verlag: Springer London Jan 2011, 2011
Serie: Buch 20 von 99 - Undergraduate Topics in Computer Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,16
EUR 30,50 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies… mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering.The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software.The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.
Sprache: Englisch
Verlag: Springer Jan 2011, 2011
Serie: Buch 8 von 40 - Geotechnical, Geological and Earthquake Engineering
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 118,16
EUR 30,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book addresses current activities in strong-motion networks around the globe, covering issues related to designing, maintaining and disseminating information from these arrays. The book is divided into three principal sections. The first section includ…es recent developments in regional and global ground-motion predictive models.It presents discussions on the similarities and differences of ground motion estimations from these models and their application to design spectra as well as other novel procedures for predicting engineering parameters in seismic regions with sparse data. The second section introduces topics about the particular methodologies being implemented in the recently established global and regional strong-motion databanks in Europe to maintain and disseminate the archived accelerometric data. The final section describes major strong-motion arrays around the world and their historical developments. The last three chapters of this section introduce projects carried out within the context of arrays deployed for seismic risk studies in metropolitan areas. Audience: This timely book will be of particular interest for researchers who use accelerometric data extensively to conduct studies in earthquake engineering and engineering seismology.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 119,10
EUR 30,50 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - Clem Imrie and Colin Johnson This book stems from an unusual meeting held in The Royal College of Physicians and Surgeons of Glasgow in March 2007. Enthusiastic doctors in the diagnosis and treatment of pancreatic diseases were arranged in small groups to discuss specific unsolved/partially c…linical problems and suggest the way forward. In some instances, the recommendations were initial improved longitudinal studies, while in others better double-blind randomized st- ies. The recommendations were then presented on the second day before the total 40 plus participants who added their input. Finally, the mechanics of initiating the proposals were arranged. The editors are most thankful to the authors from the meeting, who have ass- bled the various contributions to this stimulating volume. xi Part I Potential Trials in Acute Pancreatitis Chapter 1 Acute Pancreatitis in Intensive Care John Kinsella, Barry Clements, Euan Dickson, Thierry Dugernier, and Martin Hughes 1.1 Intr oduction Severe acute pancreatitis is associated with the development of the systemic inflammatory response syndrome (SIRS). Hypoxemia is a hallmark of acute pancreatitis and respiratory failure is the most common single organ failure in this disease. In the most severely ill patients mul- organ dysfunction syndrome (MODS) and multi-organ failure (MOF) occur. Intensive care with multiple organ support is necessary.
