search
Wishlist
Wishlist
CartCart
search
Wishlist
Wishlist
CartCart
placeholder

Constructing Correct Software

341.68
nudge icon
Lowest price in a year
nudge icon
Lowest price in a year
Paperback

Delivery Information

noon-marketplace
Get it by 8 Aug
Order in 10h 45m

Coupons

Payment discount

Product Overview

Specifications

PublisherSpringer
ISBN 101852338202
AuthorCooke, D John
LanguageEnglish
Number of Pages509
ISBN 139781852338206
Book DescriptionThis text illustrates and explains the constructive approach to software development. The approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained. The text is accessible to anyone with a basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate and software developers in industry.
Book FormatPaperback
Publication Date2004-11-08
placeholder
Constructing Correct Software
Constructing Correct Software
341.68
342
0

We're Always Here To Help

Reach out to us through any of these support channels

Shop On The Go

App StoreGoogle PlayHuawei App Gallery

Connect With Us

footer_fb_color
footer_twitter_color
footer_instagram_color
footer_linkedin_color
mastercardvisatabbytamaraamexcod