Academic Press international series in formal methods

Author(s)
Bibliographic Information

Academic Press international series in formal methods

Academic Press

Search this Book/Journal
Related Books： 1-2 of 2
  • A computational logic handbook

    Robert S. Boyer and J Strother Moore

    Academic Press c1998 2nd ed. Academic Press international series in formal methods

    Available at 6 libraries

  • Teaching and learning formal methods

    edited by C. Neville Dean and Michael G. Hinchey

    Academic c1996 Academic Press international series in formal methods

    : pbk

    Available at 9 libraries

Details
  • NCID
    BA2874135X
  • Country Code
    uk
  • Title Language Code
    eng
  • Place of Publication
    London
Page Top