Formal Object-Oriented Development - Couverture souple

Lano, Kevin

 
9783540199786: Formal Object-Oriented Development
Couverture souple
ISBN 10 : 3540199780 ISBN 13 : 9783540199786
Editeur : Springer, 2013

Synopsis

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices.
The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.

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

Éditeur
Springer
Date d'édition
2013
Langue
anglais
ISBN 10 
3540199780
ISBN 13 
9783540199786
Reliure
Broché
Nombre de pages
440
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

9781447130741: Formal Object-Oriented Development

Edition présentée

ISBN 10 :  144713074X ISBN 13 :  9781447130741
Editeur : Springer, 2011
Couverture souple