Catalogue de la bibliothèque de l'I2M

Your cart is empty.
Normal view MARC view ISBD view

Symbolic model checking / Kenneth L. McMillan

Auteur principal : McMillan, Kenneth L., AuteurType de document : Livre numériqueLangue : anglais.Éditeur : Boston : Kluwer, 1993ISBN : 0792393805.Sujet MSC : 68-02, Research exposition (monographs, survey articles) pertaining to computer science
68M15, Computer system organization, Reliability, testing and fault tolerance of networks and computer systems
68W35, Algorithms in computer science, Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.)En-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

1 exemplaire chez Qarma

There are no comments for this item.

Log in to your account to post a comment.