The Correctness-by-Construction Approach to Programming - Derrick G. Kourie - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642448546 - 9 mei 2014
Indien omslag en titel niet overeenkomen, is de titel correct

The Correctness-by-Construction Approach to Programming 2012 edition

Prijs
€ 100,49

Besteld in een afgelegen magazijn

Verwachte levering 6 - 12 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of

Ook verkrijgbaar als:

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.


266 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 9 mei 2014
ISBN13 9783642448546
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 266
Afmetingen 155 × 235 × 15 mm   ·   394 g
Taal en grammatica Engels