The B-Method book (Gazeley, CB8)
Textbook from the Cornerstones of Computing series. Explains the B-Method, a methodology for developing correct software. Covers software specification, refinement, design, and implementation with real-world examples. Includes mid-term license for the B-Toolkit. Suitable for undergraduate and postgraduate study or anyone interested in formal methods in computing.
Interested in this offer?
To reply to this post, please log in or sign up.
- Free: Lightening to ethernet function (Gazeley, CB8)+13h
- Free: Hdmi to display port (Gazeley, CB8)3h
- Free: Sata to usb HDD enclosure (Gazeley, CB8)+34h
- Free: Small camera case (Gazeley, CB8)+21d
- Free: Travel adapters (Gazeley, CB8)1d
- Free: Philips charger (Gazeley, CB8)1d
- Free: Usb c to usb (Gazeley, CB8)1d
- Free: Computer cable (Gazeley, CB8)1d
- Free: Toothbrush charger (Gazeley, CB8)1d
- Free: Audio cable (Gazeley, CB8)1d
- Free: Hdmi to dvi (Gazeley, CB8)+11d
- Free: Wireless charging stand (Gazeley, CB8)+21d
- Free: Nokia micro usb charger (Gazeley, CB8)1d
- Free: Remington Beard Trimmer (Gazeley, CB8)+31d
- Free: USB to Micro-USB Cable (Gazeley, CB8)1d
- Free: DVI cable (Gazeley, CB8)1d
- Free: Hdmi cable (Gazeley, CB8)1d
- Free: USB Cable with Standard-A to B (Gazeley, CB8)1d
- Free: USB to Micro-USB Cable (Gazeley, CB8)1d
- Free: RCA Audio/Video Cables (Gazeley, CB8)1d
- Free: Hdmi to dvi cable (Gazeley, CB8)+21d
- Free: Xbox 360 Wireless Gaming Receiver (Gazeley, CB8)+11d
- Free: Netgear Wireless N150 Access Point (Gazeley, CB8)+31d
- Free: Grenade-Shaped Shaker (Gazeley, CB8)+11d
- Free: Android Book (Gazeley, CB8)+22d
- Free: LED Party Light (Gazeley, CB8)+32d
- Free: Bundle of Ethernet Cables (Gazeley, CB8)2d
- Free: Assorted old Apple Charging Cables (Gazeley, CB8)2d
- Free: UK Plug Adapter (Gazeley, CB8)+22d
- Free: Lightening to ethernet function (Gazeley, CB8)+13h
- Free: Hdmi to display port (Gazeley, CB8)3h
- Free: Sata to usb HDD enclosure (Gazeley, CB8)+34h
- Free: Small camera case (Gazeley, CB8)+21d
- Free: Travel adapters (Gazeley, CB8)1d
- Free: Philips charger (Gazeley, CB8)1d
- Free: Usb c to usb (Gazeley, CB8)1d
- Free: Computer cable (Gazeley, CB8)1d
- Free: Toothbrush charger (Gazeley, CB8)1d
- Free: Audio cable (Gazeley, CB8)1d
- Free: Hdmi to dvi (Gazeley, CB8)+11d
- Free: Wireless charging stand (Gazeley, CB8)+21d
- Free: Nokia micro usb charger (Gazeley, CB8)1d
- Free: Remington Beard Trimmer (Gazeley, CB8)+31d
- Free: USB to Micro-USB Cable (Gazeley, CB8)1d
- Free: DVI cable (Gazeley, CB8)1d
- Free: Hdmi cable (Gazeley, CB8)1d
- Free: USB Cable with Standard-A to B (Gazeley, CB8)1d
- Free: USB to Micro-USB Cable (Gazeley, CB8)1d
- Free: RCA Audio/Video Cables (Gazeley, CB8)1d
- Free: Hdmi to dvi cable (Gazeley, CB8)+21d
- Free: Xbox 360 Wireless Gaming Receiver (Gazeley, CB8)+11d
- Free: Netgear Wireless N150 Access Point (Gazeley, CB8)+31d
- Free: Grenade-Shaped Shaker (Gazeley, CB8)+11d
- Free: Android Book (Gazeley, CB8)+22d
- Free: LED Party Light (Gazeley, CB8)+32d
- Free: Bundle of Ethernet Cables (Gazeley, CB8)2d
- Free: Assorted old Apple Charging Cables (Gazeley, CB8)2d
- Free: UK Plug Adapter (Gazeley, CB8)+22d
Approximate Location
Show marker