Foundations of algebraic specification and formal software development

CiNii Available at 11 libraries

Bibliographic Information

Title
"Foundations of algebraic specification and formal software development"
Statement of Responsibility
Donald Sannella, Andrzej Tarlecki
Publisher
  • Springer
Publication Year
  • c2012
Book size
25 cm
Series Name / No
  • : hbk

Search this Book/Journal

Notes

Includes bibliographical references (p. 533-552) and indexes

Related Books

See more

Details 詳細情報について

  • CRID
    1130000796968094848
  • NII Book ID
    BB0802334X
  • ISBN
    9783642173356
  • Text Lang
    en
  • Country Code
    gw
  • Title Language Code
    en
  • Place of Publication
    • Dordrecht
  • Classification
  • Subject
  • Data Source
    • CiNii Books
Back to top