Catalog

Record Details

Catalog Search


Search Results Showing Item 4 of 907

Verification of Sequential and Concurrent Programs

Electronic resources

Record details

  • ISBN: 9781848827455
  • Physical Description: electronic
    electronic resource
    access
    remote
    XXIV, 502p. 26 illus. online resource.
  • Publisher: London : Springer London, 2009.
Subject: Computer science
Logic design
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Search Results Showing Item 4 of 907

Additional Resources