A Theory and Practice of Program Development - Couverture souple

Andrews, Derek

 
9783540761624: A Theory and Practice of Program Development
Couverture souple
ISBN 10 : 3540761624 ISBN 13 : 9783540761624
Editeur : Springer-Verlag Berlin Heidelberg, 1997

Synopsis

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.

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

Éditeur
Springer-Verlag Berlin Heidelberg
Date d'édition
1997
Langue
anglais
ISBN 10 
3540761624
ISBN 13 
9783540761624
Reliure
Broché
Nombre de pages
424
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Autres éditions populaires du même titre

9781447109884: A Theory and Practice of Program Development

Edition présentée

ISBN 10 :  1447109880 ISBN 13 :  9781447109884
Editeur : Springer, 2011
Couverture souple