Gå direkte til innholdet
The B-Book
Spar

The B-Book

pocket, 2005
Engelsk
Useful for all working in formal methods and safety-critical software, this is a definitive book on the B Method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice.
Undertittel
Assigning Programs to Meanings
ISBN
9780521021753
Språk
Engelsk
Vekt
1274 gram
Utgivelsesdato
3.11.2005
Antall sider
816