Foundations of Algebraic Specification and Formal Software Development /

Saved in:
Bibliographic Details
Main Author: Donald Sannella, Andrzej Tarlecki (autor)
Format: Book
Language:English
Published: Berlín, Alemania : Springer, 2012, c2012
Series:(Monographs in Theoretical Computer Science. An EATCS Series)
Online Access:Ver documento en línea
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:1 libro electrónico en línea (XVI, 584 p.)
1 recurso en línea
ISBN:978-3-642-17336-3
ISSN:2193-2069
Access:Licencias ilimitadas