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 Item type: Livre numérique
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 on this title.

to post a comment.