Formal Software Development

Name: Formal Software Development
Brand: Macmillan Education UK
SKU: 9780333992814
Price: 98.63 EUR
Availability: InStock

From VDM to Java

Autor: Quentin Charatan, Aaron Kans

Jazyk:

Väzba: Brožovaná

Vydavateľ: Macmillan Education UK

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

98.63 €

This gently paced software engineering text concentrates on the use of formal methods for the develo...

Informácie o knihe

Autor

Quentin Charatan, Aaron Kans

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2003

Stránok

256

EAN

9780333992814

ISBN

0333992814

Enbook ID

04601186

Vydavateľ

Macmillan Education UK

Hmotnosť

476

Rozmery

246 x 191 x 15

Kompletný popis

This gently paced software engineering text concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book contains examples and exercises throughout, and is supported by a dedicated web site.

Mohlo by vás zaujímať

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

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Software Development

From VDM to Java

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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