Foundations of algebraic specification and formal software development

Author(s)

Bibliographic Information

Foundations of algebraic specification and formal software development

Donald Sannella, Andrzej Tarlecki

（Monographs in theoretical computer science : an EATCS series）

Springer, 2012

  • : pbk.

Available at  / 1 libraries

Search this Book/Journal

Related Books： 1-1 of 1

Details

  • NCID
    BD07192368
  • ISBN
    • 9783642440656
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Heidelberg
  • Pages/Volumes
    xvi, 581 p.
  • Size
    24 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top