Advances in formal methods

CiNii

Bibliographic Information

Title
"Advances in formal methods"
Statement of Responsibility
series editor, Michael Hinchey
Publisher
  • Kluwer Academic

Search this Book/Journal

Related Books

See more

Details 詳細情報について

  • CRID
    1130282271290832512
  • NII Book ID
    BA46490182
  • Text Lang
    en
  • Country Code
    us
  • Title Language Code
    en
  • Place of Publication
    • Boston ; Dordrecht ; London
  • Data Source
    • CiNii Books
Back to top