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, Computer science, Research exposition (monographs, survey articles)
68M15, Computer science -- Computer system organization, Reliability, testing and fault tolerance
68U20, Computer science -- Computing methodologies and applications, Simulation
68W35, Computer science -- Algorithms, VLSI algorithmsEn-ligne : Springerlink

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 0 )
Title notes
Comments ( 0 )

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.

Languages:
English
Français