Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě 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: 2286 CZK
Availability: InStock

Autor: Derrick G. Kourie, Bruce W. Watson

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 8-11 dnů

2 286 Kč

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

Informace o knize

Autor

Derrick G. Kourie, Bruce W. Watson

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2014

Stránek

266

EAN

9783642448546

ISBN

3642448542

Enbook ID

02685074

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

433

Rozměry

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