The B-BookAuthor :
Paperback
Published : Thursday 3 November 2005
Description
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.
You may also like ...
by
Hardback
13 May 2010
Computer programming / software engineering
€135.72
Extended stock – Dispatch 5-7 days
by
Paperback
20 Jan 2010
Computer programming / software engineering
€52.64
Extended stock – Dispatch 5-7 days
by
Paperback
03 Nov 2005
Software Engineering
€105.29
Extended stock – Dispatch 5-7 days
by
Paperback
16 Dec 2019
Counselling and care of students
€14.03
Extended stock – Dispatch 5-7 days
Reviews