Get Free Shipping on orders over $79
Algorithmic Languages and Calculi : Ifip Advances in Information and Communication Technology - Lambert Meerkens

Algorithmic Languages and Calculi

By: Lambert Meerkens, Richard Bird

Hardcover | 1 December 2009

At a Glance

Hardcover


$329.00

or 4 interest-free payments of $82.25 with

 or 

Ships in 5 to 7 business days

The general theme of this working conference is notations, methods, and tool support for the calculation of programs from specifications. Its purpose is to present the results of ongoing research, descriptions of existing and prosposed systems and applications to the production of practical software. This work, a collection of papers from the conference, aims to address the following topics: the study of the calculation of programs from specifications, the design of notations for such calculation, the formulation of algorithm theories using such notations and the investigation of software support for program derivation. This book should be of interest to computer science students, software researchers and programmers requiring correct codes.

More in Algebra

The Mending of Broken Bones : A Modern Guide to Classical Algebra - Paul Lockhart
Algebra Workbook Grades 6-8 : Algebra - Kumon

RRP $24.99

$18.99

24%
OFF
Textbook of Algebra - Jonas Hoover

$463.99

Fundamentals of Algebra - Kevin Houston

$432.75

Linear Algebra - Lilian Mandelbaum

$463.99

Essential Calculus : 2nd Edition - James Stewart

RRP $219.95

$127.99

42%
OFF
Linear Algebra: A Modern Introduction : 4th Edition - David Poole

RRP $189.95

$114.75

40%
OFF
The Maths Book : Big Ideas Simply Explained - DK

RRP $42.99

$33.99

21%
OFF
Pre-Algebra Workbook Grades 6-8 : Algebra - Kumon

RRP $24.99

$18.99

24%
OFF
Iwasawa Theory and Its Perspective, Volume 3 - Tadashi Ochiai
$G$-Global Homotopy Theory and Algebraic $K$-Theory - Tobias Lenz