Symbolic model checking / Kenneth L. McMillan
Type de document : Livre numériqueLangue : anglais.Éditeur : Boston : Kluwer, 1993ISBN: 0792393805.Sujet MSC : 68-02, Research exposition (monographs, survey articles) pertaining to computer science68M15, 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
No physical items for this record
1 exemplaire chez Qarma
There are no comments on this title.