Principles of program analysis / Flemming Nielson

Public ISBD Titre : Principles of program analysis : with 56 figures and 51 tables Type de document : texte imprimé Auteurs : Flemming Nielson (1955-..), Auteur ; Hanne Riis Nielson (1954-..), Auteur ; Chris Hankin (1954-..), Auteur Mention d'édition : First edition 1999, second corrected printing 2005 Editeur : New York : Springer Importance : 1 vol. (XXI-452 p.) Format : 24 cm ISBN/ISSN/EAN : 978-3-540-65410-0 Langues : Anglais (eng) Mots-clés : G?nie logiciel  Programmation (informatique)  Logiciels  V?rification  Computer programming  Computer programs Index. décimale : 005.1 Principles of program analysis : with 56 figures and 51 tables [texte imprimé] / Flemming Nielson (1955-..), Auteur ; Hanne Riis Nielson (1954-..), Auteur ; Chris Hankin (1954-..), Auteur  . -  First edition 1999, second corrected printing 2005 . - New York : Springer, [s.d.] . - 1 vol. (XXI-452 p.) ; 24 cm. ISBN : 978-3-540-65410-0 Langues : Anglais (eng) Mots-clés : G?nie logiciel  Programmation (informatique)  Logiciels  V?rification  Computer programming  Computer programs Index. décimale : 005.1

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
FSI 00188	005.1 NIE	Livre	Bibliothèque centrale theologicum	Livre	Exclu du prêt

---

1 (1 - 1 / 1) Par page : 25 50 100 200