Larch
by John Guttag, James J. Horning, S. J. Garland
Computer programmingComputer softwareDevelopmentLarch (Computer program language)formal specificationsoftware engineeringComputer software, development
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
Writing a summary for young readers…
For young readers
Book data: Open Library