Program Construction: Calculating Implementations from...

Main
Computers - Programming
Program Construction: Calculating...

Program Construction: Calculating Implementations from Specifications

Name: Program Construction: Calculating Implementations from Specifications
ISBN: 9780470848821

Roland Backhouse

0 / 0

1 comment

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

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

Категории:

Computers - Programming

Год:

2003

Издание:

Издательство:

John Wiley & Sons, Ltd

Язык:

english

Страницы:

353

ISBN 10: