Könyv Formal Specification Nimal Nissanke

Formal Specification

Techniques and Applications

Szerző: Nimal Nissanke
Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 11-15 napon belül
20 440 Ft
Formal Specification provides the reader with a practical and versatile approach to constructing pro...

Információk a könyvről

Szerző
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1999
oldal
295
EAN
9781852330026
ISBN
1852330023
Enbook ID
06798524
Súly
488
Méretek
156 x 234 x 16

Teljes leírás

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.

Érdekelheti

6 193 Ft

Wars of the Roses

John Ashdown-Hill
5 070 Ft

Your Career as a Fashion Designer

Institute for Career Research
3 982 Ft
12 657 Ft

International Criminal Law and Sexual Violence against Women

Daniela (Queen Mary University of London UK) Nadj
76 264 Ft

The Christmas Spirit

MACOMBER DEBBIE
2 997 Ft

The Crowd in the French Revolution

George F. E. Rudé
8 489 Ft

Last Stop

David Patterson
5 461 Ft

Late Capitalist Fascism

Mikkel Bolt Rasmussen
15 401 Ft

War in Texas

Benjamin Lundy
10 926 Ft

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

Roundtable on Population Health Improvement
15 712 Ft
3 236 Ft
4 857 Ft

Rest of God

Mark Buchanan
5 914 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták