Ebooks de Özgür Lütfü Özçep en PDF

1 Livre(s)
Télécharger le livre : Representation Theorems in Computer Science
Ajouter à ma liste d'envies
Representation Theorems in Computer Science
Özgür Lütfü Özçep
Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior. This book proposes the use of representation theorems...

Editeur : Springer
Parution : 2019-07-16

PDF

94,94 €