Rigorous software development / José Bacelar Almeida (2011)

Titre : Rigorous software development : an introduction to program verification Type de document : texte imprimé Auteurs : José Bacelar Almeida, Auteur ; Maia Joao Frade, Auteur Editeur : New York : Springer Verlag Année de publication : 2011 Collection : Undergraduate topics in computer science Importance : XII-263 P. Présentation : Broche. Couv. en coul., graph. Format : 23 cm ISBN/ISSN/EAN : 978-0-85729-017-5 Langues : Anglais (eng) Catégories : (02.60) Analyse numerique et informatique Mots-clés : Computer interfaces  Computational techniques  Logic mathematical Index. décimale : 02.60 Résumé : 1 An Overview of Formal Methods Tools and Techniques - 2 Propositional Logic - 3 First-Order Logic - 4 Hoare Logic - 5 Generating Verification Conditions - 6 Safety Properties - 7 Procedures and Contracts - 8 Specifying C Programs - 9 Verifying C Programs -

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
PQ003772	02.60.ALM	texte imprimé	Bibli FERMI 3R4	Recherche	Disponible

---

1 (1 - 1 / 1) Par page : 100