Computer Aided Verification (International Conference, Cav '96, New Brunswick, Nj, Usa, July 31-august 3, 1996 - Proceedings) - Lecture Notes in Computer Science - R Alur - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540614746 - 17 juillet 1996
Si la couverture et le titre ne correspondent pas, le titre est correct.

Computer Aided Verification (International Conference, Cav '96, New Brunswick, Nj, Usa, July 31-august 3, 1996 - Proceedings) - Lecture Notes in Computer Science

R Alur

Prix
€ 64,49

Commandé depuis un entrepôt distant

Livraison prévue 27 mai - 6 juin

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Computer Aided Verification (International Conference, Cav '96, New Brunswick, Nj, Usa, July 31-august 3, 1996 - Proceedings) - Lecture Notes in Computer Science

Constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification. The volume presents 32 revised full research contributions and 20 selected descriptions of tool and case studies. The papers aim to reflect up-to-date theory and practice in the field.

479 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 17 juillet 1996
ISBN13 9783540614746
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 479
Dimensions 156 × 234 × 25 mm   ·   680 g
Langue et grammaire German  
Afficher tout

Plus par R Alur

Voir tous les R Alur ( par ex. Paperback Book )