The B-Book
Subtitle: Assigning Programs to Meanings
Contributors: A. Hoare (Foreword); Pierre Chapron (Foreword)
Publisher: Cambridge University Press
Published: October 13, 1996
Language: eng
Format: Hardcover
Number of pages: 813
ISBN-13: 9780521496193
Subjects: Software engineering; Computers - General Information; Computer Programming Languages; Computers; Computer Books: General; General; Computers / Programming / Software Development; B method (Computer science); Programming Languages - General
First sentence: WHEN doing mathematics, people prove assertions.