
BOOKS - PROGRAMMING - The B-Book Assigning Programs to Meanings

The B-Book Assigning Programs to Meanings
Author: J. R. Abrial and A. Hoare
Year: 2005
Format: PDF
File size: 13 MB
Language: ENG

Year: 2005
Format: PDF
File size: 13 MB
Language: ENG

''
