Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Programmentwicklung und Verifikation
Best Price (Coupon Required):
Buy Programmentwicklung und Verifikation for $45.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$45.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Reliable Implementation of Real Number Algorithms: Theory and Practice
$39.99
Engineering Mathematics II
$129.00
Tadpole - Safari Babies: Giraffe Calves
$5.21
Challenges and Opportunities in Agrometeorology
$219.99
Selected Proceedings from the 1st International Conference on Contemporary Islamic Studies (ICIS 202
$129.00
Statofix
$54.99
Vocabulary Learning in the Wild
$159.99
Eastern Mediterranean Port Cities
$109.99
Die mikroskopischen Pilze
$59.99
Mycorrhizal Symbiosis and Agroecosystem Restoration
$219.99
Experimental Studies on Partnership Dissolution, R&D Investment, and Gift Giving
$32.99
Hombre Perro: Churre y castigo (Dog Man #9) (Hardcover)
$9.74
From Cold War to Cyber War
$109.99
Pro iOS Security and Forensics
$19.99
Die soziale Seite des Lernens
$39.99
Gender Mainstreaming in der EU
$39.99
Advanced Monte Carlo for Radiation Physics, Particle Transport Simulation and Applications
$379.99
Travelling Waves in Nonlinear Diffusion-Convection Reaction
$109.99
Biomonitoring Air Pollutants with Plants
$109.99
Integrating Artificial Intelligence and Visualization for Visual Knowledge Discovery
$139.00
Benefits, Costs, and Cycles in Workers Compensation
$84.99
Entwicklung und Evaluation eines Verfahrens zur Datenspeicherung in Data-Warehouse-Systemen auf Bas
$79.99
Cross-Cultural Assessment of Psychological Trauma and PTSD
$169.99
Arbeit zwischen Selbstverwirklichung und Selbstgefhrdung
$17.99
Stationen. Dem Philosophen und Physiker Moritz Schlick zum 125. Geburtstag
$69.95
Softwarelizenzmanagement kompakt
$19.99
ber das Denken und Seine Beziehung zur Anschauung
$59.99
Modern Meteor Science
$109.00
Texten fr die Technik
$29.99
Numbers and Narratives in Bangladesh's Economic Development
$129.99
The Ponytail
$59.99
Plasticity and Regeneration of the Nervous System
$109.99
Das Halswirbelsulen-Schleudertrauma
$44.99
Current Topics in Clinical Radiobiology of Tumors
$84.99
The Rationale of Operative Fracture Care
$299.00
Speisenverteilung in Krankenhusern Wrmewagensystem und Tablettsystem
$54.99
Mathematical Events of the Twentieth Century
$169.99
Plants and Climate Change
$169.99
Nearrings and Nearfields
$109.99
Innovationsstrategien und internationale Wettbewerbsfhigkeit im Bereich der Windenergie
$49.99
