Kniha Correctness-by-Construction Approach to Programming Derrick G. Kourie

Correctness-by-Construction Approach to Programming

Jazyk: Angličtina
Väzba: Pevná
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-13 dní
99.98
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2012
Stránok
266
EAN
9783642279188
ISBN
364227918X
Enbook ID
01660456
Hmotnosť
556
Rozmery
165 x 235 x 26

Kompletný popis

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.

Mohlo by vás zaujímať

11.78
30.34

Raw Food/Real World

Matthew Kenney
12.96
28.38
33.58

Egret Ranch

Andrew Gaeddert
12.66
27.49

Elizabeth Bishop

Robert Giroux
30.34

Your Child at Play

Marilyn Segal
21.50

History of Umuchu

S. A. Nnolim
15.71

Modern Cosmology

Scott Dodelson
104.70
13.54

Collected Poems

David Constantine
17.08

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

J'aime

collegium
11.38

Kosmokluk

David Walliams
14.66
21.11
7.26

Puedo Mirar Tu Regalo

Guido van Genechten
14.04
24.84
36.53

Arabesky

Jan Neruda
6.69
36.04
19.34
23.07