Menu
Află starea comenzii
Contactați-ne
Carte Specification of Software Systems V. S. Alagar

Specification of Software Systems

Autor: V. S. Alagar, K. Periyasamy
Limbă: engleză
Legare: Copertă tare
Editura: Springer, Berlin
Disponibilitate: șansă 50%
Şanse de a obține acest titlu
386.83 lei
This graduate-level text provides a one semester introduction to program specification. Readers are...

Informații despre carte

Autor
V. S. Alagar, K. Periyasamy
Limbă
engleză
Legare
Carte - Copertă tare
Publicat
1998
Pagini
422
EAN
9780387984308
Enbook ID
01385494
Editura
Springer, Berlin
Greutate
1044
Dimensiuni
240

Descriere completă

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.

S-ar putea să te intereseze

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

William Graham Hoover
853.93 lei

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
248.63 lei

This Little Light of Mine

Shirley Adame
172.99 lei

Oxford Handbook of Leader-Member Exchange

Talya N. Bauer
1 106.59 lei

Heaven

Richard Montague
172.99 lei

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

Burkhard Hess
1 663.71 lei

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

134.47 lei

The History of Britain and Ireland: Prehistory to Today

Campbell
206.89 lei

Clienții care au cumpărat această carte au mai cumpărat și

Thenser. Aradia, T. 2 T2

Tanith Lee
46.86 lei

Conoce tu personalidad : por qué eres como eres

Francisco Javier de las Heras Calvo
134.67 lei

Affinity

Affinity
175.71 lei