Foundations of Algebraic Specification and Formal Software Development - Tapa blanda

Sannella, Donald; Tarlecki, Andrzej

 
9783642173370: Foundations of Algebraic Specification and Formal Software Development
Tapa blanda
ISBN 10: 3642173373 ISBN 13: 9783642173370
Editorial: Springer, 2012

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2012
Idioma
Inglés
ISBN 10 
3642173373
ISBN 13 
9783642173370
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783642173356: Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Edición Destacada

ISBN 10:  3642173357 ISBN 13:  9783642173356
Editorial: Springer, 2011
Tapa dura