Książka Formal Specification Nimal Nissanke

Formal Specification

Techniques and Applications

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
207.66
Formal Specification provides the reader with a practical and versatile approach to constructing pro...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1999
strony
295
EAN
9781852330026
ISBN
1852330023
Enbook ID
06798524
Waga
488
Wymiary
156 x 234 x 16

Pełny opis

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.

Możesz być zainteresowany

68.76

Wars of the Roses

John Ashdown-Hill
57.38

Your Career as a Fashion Designer

Institute for Career Research
44.44
141.62

International Criminal Law and Sexual Violence against Women

Daniela (Queen Mary University of London UK) Nadj
859.00

The Christmas Spirit

MACOMBER DEBBIE
32.38

The Crowd in the French Revolution

George F. E. Rudé
94.93

Last Stop

David Patterson
60.98

Late Capitalist Fascism

Mikkel Bolt Rasmussen
180.43

War in Texas

Benjamin Lundy
122.26

Project Puffin

Stephen W. Kress
95.71

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

Roundtable on Population Health Improvement
176.93
35.79
51.45

Klienci, którzy kupili tę książkę, kupili również

88.12
53.00

Rebecca

Malcolm Jones
91.33
68.96
56.51
70.41
37.83
60.98
237.72

Vadims Methode

Vadim Tschenze
52.13