Title Theory of program structures : schemes, semantics, verification / Sheila A. Greibach

Published Berlin ; New York : Springer-Verlag, 1975

Click on the following:
Springer eBooks

Copies

Description 1 online resource (389 pages in various pagings) : illustrations Series Lecture notes in computer science ; 36 Lecture notes in computer science ; 36. Contents Program schemes -- basic definitions and concepts -- Program schemes -- basic properties -- Structured Programs -- Correctness and program verification -- Decision problems -- Recursion schemes -- Monadic recursion schemes Bibliography Includes bibliographical references and index Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Print version record Subject Computer programming. Recursive programming. Computer programs. Software computer programming. software. Computer programming. Computer programs. Recursive programming. Form Electronic book ISBN 9783540379423 3540379428

  Permalink