• Record number
    10586
  • Author

    Krzysztof R. Apt

  • Creator Role
    نويسنده
  • Title

    Verification of sequential aand concurrent programs

  • Publication
    New York Springer-Verlag
  • Published Year
    1997
  • Fierst Pages
    0
  • Main Pages
    364
  • Collation
    364
  • Notes
    005.14^cA6^c2nd.ed. , Glossary
  • Reprint
    False
  • Contents
    0
  • Print issue
    0
  • Added entries
    AU نويسنده Ernst- Rudiger Olderog
  • Subject

    Computer software- Verification+Disjoint parallel program+Nondeterministic programs

  • Language
    انگليسي
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=7&DC=10586