Catalogue de la bibliothèque de l'I2M
Your cart is empty.
  • Cart
  • Lists
    Public lists Nouveautés View all
    Your lists Log in to create your own lists
  • Log in to your account
  • Search history
  • Clear
  • Advanced search
  • Tag cloud
  • Library

Log in to your account

Identifiant : code lecteur

  • Home
  • Details for: Symbolic model checking
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 Item type: Livre numérique
Tags from this library: No tags from this library for this title. Log in to add tags.
  • Holdings ( 0 )
  • Title notes ( 1 )
  • Comments ( 0 )
No physical items for this record

1 exemplaire chez Qarma

There are no comments on this title.

Log in to your account to post a comment.
  • Print
  • Add to your cart (remove)
  • Suggest for purchase
  • Save record
    BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
  • More searches
    Search for this title in:
    Catalogue du CIRM Bibliotheques du RNBM - CFP Sudoc(issn) les BU AMU Sudoc(titre) Other Libraries (WorldCat) Google Scholar

Exporting to Dublin Core...




  • Languages:
  • English
  • Français