Normal view MARC view ISBD view

Software Systems Safety ; edited by Orna Grumberg, Helmut Seidl, Maximilian Irlbeck

Auteur secondaire : : Grumberg, Orna, Editeur scientifique;Seidl, Helmut, informaticien, Editeur scientifique;Irlbeck, Maximilian, Editeur scientifiquePublication : Amsterdam, Washington, DC : IOS Press, cop. 2014Description : 1 vol. (VII-445 p.) ; 25 cmISBN : 978-1-61499-384-1.Bibliographie: Notes bibliogr. à la fin des articles ; Subject Index p. 379 ; Author Index p. 381.Sujet - Nom d'actualité : Informatique theorique ;Théorie de la démonstration ;Théorèmes -- Démonstration automatique ;Logiciels -- Développement ;Ordinateurs -- Programmation Sujet : Modèl Checking ;SAT ;Synthèse de code ;Analyse statique ;Sécurité
Current location Call number Status Date due Barcode
Centre de recherche en informatique
SOF Sur demande CRI06387D

This book present the papers delivered at the NATO Advanced Study Institute (ASI) Summer School Marktoberdorf 2013 - Software Systems Safety

Notes bibliogr. à la fin des articles ; Subject Index p. 379 ; Author Index p. 381

Powered by Koha