Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Verification of object-oriented software [Texte électronique] : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino

Publication : Berlin ; New York : Springer, cop. 2007

Description matérielle : 1 online resource (xxix, 658 p.)

Collection : Lecture notes in computer science ; 4334. Lecture notes in artificial intelligence

Note(s) : "AI systems.". - Titre de l'écran-titre (visionné le 5 janvier 2009). - Bibliogr. - Print version record.

Autre(s) auteur(s) : Schmitt, Peter H. (1948-....)  Voir les notices liées en tant qu'auteur
Beckert, Bernhard. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Hähnle, Reiner. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Autre forme du titre : KeY approach

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Logiciels -- Vérification  Voir les notices liées en tant que sujet
Méthodes formelles (informatique)  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet
Intelligence artificielle  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
Programmation orientée objets (informatique)  Voir les notices liées en tant que sujet
Java (langage de programmation)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.14 (23e éd.) = Programmation (informatique) - Vérification, tests, mesures, débogage  Voir les notices liées en tant que sujet ; 006.3 (23e éd.) = Intelligence artificielle et calcul naturel  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540690610

Identifiant de la notice  : ark:/12148/cb44694116j

Notice n° :  FRBNF44694116 (notice reprise d'un réservoir extérieur)