Program Construction: Calculating Implementations from Specifications

Program Construction: Calculating Implementations from Specifications

Nog geen beoordelingen
2003 · Engels · eBook · 2 edities
Toevoegen aan Plank

Beoordeel dit boek


Boekjournaal exporteren

Beschrijving

Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmerThis comprehensive guide is a balanced combination of mathematical theory and the practice of programmingStraightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functionsIncludes a wide range of entertaining and challenging examples and exercises

Boekdetails

Formaat eBook
Pagina's 352 pagina's
Taal Engels
Gepubliceerd nov. 14, 2003
Uitgever Wiley
Edities 2 edities
ISBN-10 0470864540
ISBN-13 9780470864548
Toevoegen aan Plank

Beoordeel dit boek


Boekjournaal exporteren