Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Correctness-by-Construction Approach to Programming

Name: Correctness-by-Construction Approach to Programming
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642448546
Price: 99.88 EUR
Availability: InStock

Autor: Derrick G. Kourie, Bruce W. Watson

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 8-11 dní

99.88 €

Focusing on ways to bridge the gap between formal and more intuitive software programming, this care...

Informácie o knihe

Autor

Derrick G. Kourie, Bruce W. Watson

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

266

EAN

9783642448546

ISBN

3642448542

Enbook ID

02685074

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

433

Rozmery

155 x 235 x 16

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.§