Normal view MARC view ISBD view

Formal Program Construction by Trans Formations Computer Aided, Intuition Guided Programming

Molier, Bernhard Partsch, Helmut Pepper, Peter

Formal Program Construction by Trans Formations Computer Aided, Intuition Guided Programming - 165-180 p.

Subjects--Topical Terms:
Algebraic Simplification
Formal Semantics
Software Engineering

Print
Request article
Suggest for purchase
Send to device
Save record
BIBTEX Dublin Core ISBD MARCXML RIS
More searches

Search for this title in:
Other Databases (Google Scholar) Open Library (openlibrary.org) Pakistan Union Catalogue (pastic.gov.pk) Other Libraries (WorldCat)