Kniha Formal Specification Nimal Nissanke

Formal Specification

Techniques and Applications

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
49.06
Formal Specification provides the reader with a practical and versatile approach to constructing pro...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1999
Stránok
295
EAN
9781852330026
ISBN
1852330023
Enbook ID
06798524
Vydavateľ
Hmotnosť
488
Rozmery
156 x 234 x 16

Kompletný popis

Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances.

Mohlo by vás zaujímať

Wars of the Roses

John Ashdown-Hill
13.53

Your Career as a Fashion Designer

Institute for Career Research
9.90
31.79

Project Puffin

Stephen W. Kress
22.56

Late Capitalist Fascism

Mikkel Bolt Rasmussen
40.52

Last Stop

David Patterson
13.63
38.85
8.43
16.18

Haunted

James Herbert
10.49

Cases in the Exchequer

John Jervis Edward Younge
39.64
18.83

Applying a Health Lens to Decision Making in Non-Health Sectors

Roundtable on Population Health Improvement
39.93

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

16.28
12.55
20.80

Vadims Methode

Vadim Tschenze
12.26

Rebecca

Malcolm Jones
20.50
13.34
16.67
14.42