Ebooks de John Derrick en EPUB

1 Livre(s)
Télécharger le livre : Refinement in Z and Object-Z
Ajouter à ma liste d'envies
Refinement in Z and Object-Z
Eerke A. Boiten , John Derrick
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of...

Editeur : Springer
Parution : 2013-08-30

ePub

94,94 €