SPECIFICATION OF SOFTWARE SYSTEMS - Couverture rigide

Livre 20 sur 83: Texts in Computer Science

Alagar, V-S; Periyasamy, K

 
9780387984308: SPECIFICATION OF SOFTWARE SYSTEMS
Couverture rigide
ISBN 10 : 0387984305 ISBN 13 : 9780387984308
Editeur : Springer-Verlag New York Inc., 1998

Synopsis

This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag New York Inc.
Date d'édition
1998
Langue
anglais
ISBN 10 
0387984305
ISBN 13 
9780387984308
Reliure
Relié
Nombre de pages
442
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9780857292766: Specification of Software Systems

Edition présentée

ISBN 10 :  0857292765 ISBN 13 :  9780857292766
Editeur : Springer London Ltd, 2011
Couverture rigide