Passer au contenu principal

SériesComputer Aided Verification

Auteurs de la série: Kousha Etessami, Sriram K. Rajamani

2 Œuvres Popularité 163,942 (4 Membres) 4 Livres 0 Critiques

Computer Aided Verification 1996 par Rajeev Alur

Computer Aided Verification 2005 par Kousha Etessami

Affichage par ordre de titres Édition

Computer Aided Verification 1996 par Rajeev Alur 1 exemplaire	Ordre:8
Computer Aided Verification 2005 par Kousha Etessami 3 exemplaires	Ordre:17

Mots-clés

ai(1) computer science(2) conference proceedings(1) non-fiction(1) software verification(1)

Utilisateurs ayant le plus d'œuvres de cette série

hogank (1 œuvres), henny (1), dakvid (1)

Séries associées

Se chevauche avec

Lecture Notes in Computer Science

Liens

Contributeurs

Partage de connaissances des séries

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.