Nový Dominik Dán už na sklade, pozri knihu tu =>
The definitive book on the B Method; essential for all working in formal methods and safety-critical software. Zobraziť viac
