Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Specification of Software Systems V. S. Alagar

Specification of Software Systems

Autor: V. S. Alagar, K. Periyasamy
Jazyk: Angličtina
Väzba: Pevná
Vydavateľ: Springer, Berlin
Dostupnosť: 50 % šanca
Prehľadáme celý svet
74.07 €
This graduate-level text provides a one semester introduction to program specification. Readers are...

Informácie o knihe

Autor
V. S. Alagar, K. Periyasamy
Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
1998
Stránok
422
EAN
9780387984308
Enbook ID
01385494
Vydavateľ
Springer, Berlin
Hmotnosť
1044
Rozmery
240

Kompletný popis

This graduate-level text provides a one semester introduction to program specification. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may be their first encounter with formal specification. It is based on graduate courses and courses offered to professionals working in the software industry. The authors emphasize the need for formal abstraction in specification and the advantages it confers upon the software process. In addition, the book covers all three major specification languages: Larch, VDM, and Z. Consequently, readers will be able to select a formal method that best suits their needs and application. The first part of the book discusses specification in general and the abstraction process. Next come chapters on the mathematical tools required. Thirdly, the authors devote a chapter each to the main formal methods with a significant example of the use of each discussed.

Mohlo by vás zaujímať

Time Reversibility, Computer Simulation, Algorithms, Chaos (2nd Edition)

William Graham Hoover
149.53 €

The History Of The Holy, Military, Sovereign Order Of St. John Of Jerusalem V3: Or Knights Hospitallers, Knights Templars, Knights Of Rhodes, Knights

John Taaffe
43.16 €

This Little Light of Mine

Shirley Adame
30.31 €

Oxford Handbook of Leader-Member Exchange

Talya N. Bauer
211.84 €

Heaven

Richard Montague
30.02 €

Implementing Eu Consumer Rights by National Procedural Law: Luxembourg Report on European Procedural Law Volume II

Burkhard Hess
304.66 €

Oxford Preparation and Practice for Cambridge English: A2 Key for Schools Exam Trainer

33.94 €

The History of Britain and Ireland: Prehistory to Today

Campbell
37.67 €

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

Thenser. Aradia, T. 2 T2

Tanith Lee
8.92 €

Conoce tu personalidad : por qué eres como eres

Francisco Javier de las Heras Calvo
24.42 €

Affinity

Affinity
31.78 €