Copied Programmentwicklung und Verifikation
Programmentwicklung und Verifikation
Die entscheidenden Argumente fr die Korrektheit eines Programms knnen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung fhrt, werden in diesem Buch beschrieben. Die Programme und die Informationen fr die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhngig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verstndnis von Programmen erreichen wollen. Der Leser soll die vorgestellten Methoden und Denkweisen bei der Entwicklung seiner eigenen Programme anwenden lernen, um so effizientere und sicherere Software zu erzeugen.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$49.99 | $49.99 |
|
$45.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Peppa Pig: Class Pet (Touch-and-Feel)
$8.24
Vaccination in America
$109.00
Digital Technologies, Temporality, and the Politics of Co-Existence
$44.99
Die Wassermannsche Reaktion in ihrer serologischen Technik und klinischen Bedeutung auf Grund von Un
$59.99
Plant Tolerance to Abiotic Stresses in Agriculture: Role of Genetic Engineering
$169.99
The 1st International Workshop on the Quality of Geodetic Observation and Monitoring Systems (QuGOMS
$169.99
Proceedings of the 7th International Conference on Economic Management and Green Development
$279.99
The Unfit Brain and the Limits of Moral Bioenhancement
$89.00
Knstliche Intelligenz im Gesundheitswesen
$119.99
Handbook of Research on Emerging Theories, Models, and Applications of Financial Econometrics
$149.00
Numerical Analysis and Its Applications
$109.99
Dem Herzinfarkt vorbeugen
$29.99
The Knee Joint
$329.99
Challenges to State Policy Capacity
$109.99
Untersuchungen ber die Mglichkeit der selektiven Erdschluerfassung durch Messung des im Erdseil v
$59.99
New Perspectives on Current Development Policy
$64.99
Caring for the Socially Marginalised in Interwar Europe, 19191939
$139.99
Soil Behavior and Characterization of Geomaterials
$249.99
Transaktionserfolg von Mergers & Acquisitions in der Logistik
$89.99
Reducing Mortality in Acute Kidney Injury
$109.99
Popular Support for Democracy in Unified Germany
$69.99
Information Technologies in Biomedicine
$259.00
Engineers for Korea
$29.99
Zwanglufige Regelung der Verbrennung bei Verbrennungsmaschinen
$59.99
Metabolic Turnover in the Nervous System
$39.99
Soziologie der Familie
$59.99
Cloud Computing and Security
$39.99
Research in Computational Molecular Biology
$54.99
Follow Me Around: Greece
$5.96
Zwischen Reformeifer und Ernchterung
$39.99
Platonism at the Origins of Modernity
$169.99
The Future of Predictive Safety Evaluation
$39.99
Reassessing the Relationship between Marketing and Public Relations
$84.99
Friedhofsgesprche
$59.99
Evolutionary Relationships Among Protozoa
$449.99
Ultrafast Magnetism I
$169.99
Schlafmedizin 1x1
$49.99
Exiles from Erin
$54.99
Georges Canguilhem and the Problem of Error
$99.99
Bright Baby: First Words
$3.74
