Foundations of Algebraic Specification and Formal Software Development - Couverture souple

Sannella, Donald; Tarlecki, Andrzej

 
9783642173370: Foundations of Algebraic Specification and Formal Software Development
Couverture souple
ISBN 10 : 3642173373 ISBN 13 : 9783642173370
Editeur : Springer, 2012

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Introduction.- Universal Algebra.- Simple Equational Specifications.- Category Theory.- Working Within an Arbitrary Logical System.- Structured Specifications.- Parameterisation.- Formal Program Development.- Behavioural Specifications.- Proofs for Specifications.- Working with Multiple Logical Systems.- References.

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

Éditeur
Springer
Date d'édition
2012
Langue
anglais
ISBN 10 
3642173373
ISBN 13 
9783642173370
Reliure
Taschenbuch
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

9783642173356: Foundations of Algebraic Specification and Formal Software Development

Edition présentée

ISBN 10 :  3642173357 ISBN 13 :  9783642173356
Editeur : Springer-Verlag Berlin and Heide..., 2011
Couverture rigide