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:
Buy KORSO: Methods, Languages, and Tools for the Construction of Correct Software for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Generalized Preinvexity and Second Order Duality in Multiobjective Programming
$89.99
Integration der Unsicherheitsaspekte in die Schedule-Optimierung
$69.99
Modular Representation Theory
$39.99
Towards Life Cycle Sustainability Management
$219.99
The Subcommissural Organ
$84.99
Cryptorchidism
$54.99
Future Perspectives for Higher Education
$99.99
The Blair Legacy
$84.99
Das System der Sparfrderung in sterreich
$59.99
Surgery of Skull Base Meningiomas
$129.99
Priming and Pretreatment of Seeds and Seedlings
$139.00
Shakespearean Celebrity in the Digital Age
$99.99
Deployable Machine Learning for Security Defense
$69.99
The Microeconomic Foundations of Macroeconomics
$169.99
Erfolgsmodell Mittelstand
$44.99
Pro Oracle Fusion Applications
$59.99
Frauen in der britischen Politik
$39.99
Die Verunreinigung der Gewsser deren Schdliche Folgen sowie die Reinigung von Trink- und Schmutzwa
$59.99
Arbeitszeit, Arbeitsmarkt und soziale Sicherung
$59.99
The Competitiveness of Financial Institutions and Centres in Europe
$219.99
Reimagining Mental Health and Addiction Under the Covid-19 Pandemic, Volume 2
$49.99
ICT Innovations 2012
$129.00
Prozemuster zur Untersttzung kooperativer Ttigkei
$49.99
SDG18 Communication for All, Volume 1
$159.99
The Son of Neptune- The Graphic Novel Heroes of Olympus Series 2 by Rick Riordan
$14.99
The Political Economy of Policy Ideas
$89.00
Nachhaltigkeit in der Lehre
$89.99
Walking Histories, 1800-1914
$99.99
Coral Reef Studies of Japan
$129.00
Ethno-Musicology
$54.99
Democracy and Public-Private Partnerships in Global Governance
$54.99
PRIMA 2019: Principles and Practice of Multi-Agent Systems
$109.99
Under the Mambo Moon
$6.71
Radikale
$69.99
Virtual and Remote Control Tower
$109.00
Politische Kultur der Bundesrepublik
$59.99
Public Decision-Making Processes and Asymmetry of Information
$84.99
Vermeidung von Untersuchungshaft bei Jugendlichen im Spannungsfeld zwischen Jugendhilfe und Justiz
$39.99
Handbook of High-Order Optical Modulations
$299.00
Medizinische Gutachten
$149.00
