Les preuves de programme de K. Rustan M. Leino est un manuel qui examine en profondeur les méthodes formelles pour démontrer des propriétés de programme. Cette édition, adaptée aux chercheurs et aux étudiants avancés en génie logiciel, offre des éclairages concrets sur les aspects théoriques des preuves de programmes.
Spécifications du produit
- Auteur : K. Rustan M. Leino
- Éditeur : MIT Press Ltd
- Mentions : MIT Press
- Date de publication : 2023-03-07
- Nombre de pages : 496
- ISBN : 9780262546232
- Thème : Programmation informatique / génie logiciel
- BISAC : COMPUTERS / Programming / General