Formal development of programs and proofs

Web Site CiNii Available at 28 libraries

Bibliographic Information

Title
"Formal development of programs and proofs"
Statement of Responsibility
edited by Edsger W. Dijkstra
Publisher
  • Addison-Wesley
Publication Year
  • c1990
Book size
24 cm

Search this Book/Journal

Notes

Includes bibliographies and index

Related Books

See more

Details 詳細情報について

Back to top