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
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Best Price (Coupon Required):
Buy KORSO: Methods, Languages, and Tools for the Construction of Correct Software for $36.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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
Reviews
Questions & Answers
Beb va al mercado
$21.95
Whiteness and Leisure
$39.99
Neue Wege der Sozialdemokratie
$79.99
Finanzmathematik mit Excel
$34.99
Vom Begriff zum Zeichen
$69.99
Mass Housing in Europe
$109.99
Handbook of Curriculum Theory, Research, and Practice
$449.99
64. Jahrestagung der Deutschen Gesellschaft fr Unfallchirurgie e.V
$59.99
Visual C# 2010 Recipes
$54.99
Die Lichtbogen-Schweiung in Frage und Antwort
$84.99
Cohomological Methods in Homotopy Theory
$169.99
Proceedings of the 6th International Conference on Industrial Engineering (ICIE 2020)
$219.99
Integral Operators in Non-Standard Function Spaces
$179.99
Wahlsysteme, Parteiensysteme und politische Reprsentation in Osteuropa
$69.99
Investigating AI Readiness in the Maltese Public Administration
$179.99
Die Kalkulation und Organisation in Frbereien und verwandten Betrieben
$59.99
Die Medicinischen Verbandmaterialien mit besonderer Bercksichtigung ihrer Gewinnung, Fabrikation, U
$84.99
Adsorption on Ordered Surfaces of Ionic Solids and Thin Films
$109.99
Stock Market Developments in the Countries of the Gulf Cooperation Council
$169.99
Convergent Strabismus
$39.99
Handbuch Energieeffizienz im Quartier
$119.99
Software Engineering and Formal Methods
$69.99
Ballast Water Treatment and Exchange for Ships
$34.99
English as a Global Language in China
$39.99
Formal Concept Analysis
$54.99
Statistical Modelling and Regression Structures
$84.99
Landkarten ihre Herstellung und ihre Fehlergrenzen
$39.99
Elements of Modern Physics
$64.99
Introduction to the Theory of X-Ray and Electronic Spectra of Free Atoms
$169.99
Annotating, Extracting and Reasoning about Time and Events
$39.99
Quick Guide to Psychiatric Emergencies
$99.00
Wissenschaftlich schreiben leicht gemacht
$29.99
Handbook of Optimization in Medicine
$89.00
Companion to European Heritage Revivals
$59.99
Radical Reform in Irish Schools, 1900-1922
$129.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVI
$54.99
Young People Using Family Violence
$129.99
Shape Reconstruction from Apparent Contours
$54.99
Ergebnisse der Chirurgie und Orthopdie
$59.99
Transfictional Character and Transmedia Storyworlds in the British Nineteenth Century
$129.99
