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