Medias
Principled Software Development
This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach this challenge from various perspectives including programming languages, program verification, and the systematic variation of software. Topics covered include programming abstractions for concurrent and distributed software, specification and verification techniques for imperative
...
Spécifications techniques
Date de sortie | 24 octobre 2018 |
Langue | Anglais |
Éditeur | SPRINGER |
Accessibilité | Aucune information disponible concernant l'accessibilité pour le format PDF |