The definitive book on the B Method; essential for all working in formal methods and safety-critical software. Zobraziť viac
