The B-Book : Assigning Programs to Meanings
by
J. R. Abrial
Book Details
Format
Paperback / Softback
ISBN-10
0521021758
ISBN-13
9780521021753
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Nov 3rd, 2005
Print length
816 Pages
Weight
128 grams
Dimensions
17.60 x 25.00 x 4.80 cms
Product Classification:
Computer programming / software development
Ksh 18,550.00
Manufactured on Demand
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
Get The B-Book by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
