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

Browsing Anna Centenary Library shelves, Shelving location: 3RD FLOOR, A WING Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005.01 STU Ux fundamentals for non-ux professionals user experience principles for managers, writers, designers, and developers	005.068 EDG Build, run, and sell your apple consulting practice business and marketing for ios and Mac start Ups	005.068 EDG;1 Build, run, and sell your apple consulting practice business and marketing for ios and Mac start Ups	005.1 ABR The B-book : assigning programs to meanings	005.1 AJA Going serverless with AWS lambda : leveraging the latest services from the AWS cloud	005.1 AJA;1 Going serverless with AWS lambda : leveraging the latest services from the AWS cloud	005.1 AKI Pro .NET benchmarking : the art of performance measurement	Next

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

Browsing Anna Centenary Library shelves, Shelving location: 3RD FLOOR, A WING Close shelf browser (Hides shelf browser)

Find us on the map