Compositionality, Concurrency, and Partial Correctness
Publisher: Springer
Published: October 2, 2007
Language: eng
Format: Paperback
Number of pages: 284
ISBN-13: 9783540508458
Subjects: Logic Design; Programming - Software Development; Programming Languages - General; Computers - General Information
First sentence: The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs.
Notes: Lecture Notes in Computer Science