Foundations of algebraic specification and formal software development
Auteur :
Sannella, Donald / Tarlecki, Andrzej
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783642173356
Date de publication :
30 déc. 2011
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Allemagne
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.