Software Reliability Methods (Texts in Computer Science) (Gebundene Ausgabe) von Doron A. Peled Kurzbeschreibung: The book 'formal methods for software' presents a collection of current methods for dealing with software reliability. It compares between these methods, and shows their advantages and disadvantages. The book presents a description of the techniques, intended for a nonexpert audience with some minimal technical background (e.g., some training in software engineering, or basic computer science courses). It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This text/reference is intended to be used as an introduction to software methods techniques, a source for learning about various ways to enhanced software reliability, a reference on formal methods technique, and also as a basis for a one semester university course in this subject. It suggests various projects and exercises for achieving "hands-on" experience with the various formal methods tools. Lesen Sie mehr... Rezensionen ansehen...   Angebote zu  Software ,  Reliability ,  Methods  ab 1 Euro! Siehe auch folgende Artikel: Model Checking von Edmund M. Clarke Sonstige Artikel: Aus dem Füllhorn Roms. 34 Originalrezepte aus der römischen Küche (Taschenbuch) von Marcus Junkelmann Mein Leben. Die Autobiografie (Gebundene Ausgabe) von James Last, Thomas Macho Die deutschen Spezialeinheiten und ihre Waffensysteme 1939-1945. Panzer - Kampfflugzeuge - U-Boote - V1 - V2 (Gebundene Ausgabe) von Tim Ripley Mehr zu  Theory of Computing,  Methodology,  Networks, Protocols & APIs,  Quality Control,  Software Development,  Software Home ...,    Verwandte produkte ...,    Begleitseite ... Herausgeber dieser Seite ist DomainLoc.com GmbH - Partner von Amazon.de Copyright © DomainLoc.com GmbH (Impressum)