The B-book : assigning programs to meanings Jean-Raymond Abrial

By:

Abrial Jean-raymond

Language: English Publication details: Cambridge Cambridge University Press, , 1996Description: xxxiv; 779 p. 23 cmISBN:

9780521021753

Subject(s):

B Method (Computer Science)

DDC classification:

005.1 ABR

Summary: 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.

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Barcode
Reference	Anna Centenary Library 3RD FLOOR, A WING	005.1 ABR (Browse shelf(Opens below))	Not for loan	103437

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.

There are no comments on this title.

to post a comment.

The B-book : assigning programs to meanings Jean-Raymond Abrial

Find us on the map