Korso

Name: Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
Brand: Springer
SKU: 9783540605898
Price: 5606.00 INR
Availability: InStock

Methods, Languages, and Tools for the Construction of Correct Software: Final Report

by Manfred Broy, Stefan Jähnichen

Springer

₹5,606

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.