Search the Library Catalogue
The B-book : assigning programs to meanings
Abrial Jean-raymond
The B-book : assigning programs to meanings Jean-Raymond Abrial - Cambridge Cambridge University Press, , 1996 - xxxiv; 779 p. 23 cm.
Includes index
The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems.
9780521021753
B Method (Computer Science)
005.1 / ABR
The B-book : assigning programs to meanings Jean-Raymond Abrial - Cambridge Cambridge University Press, , 1996 - xxxiv; 779 p. 23 cm.
Includes index
The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems.
9780521021753
B Method (Computer Science)
005.1 / ABR