1559:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

816 sidor
2005

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.

Författare: J R Abrial, Jean-Raymond Abrial
Format: Pocket/Paperback
ISBN: 9780521021753
Språk: Engelska
Antal sidor: 816
Utgivningsdatum: 2005-11-03
Förlag: Cambridge University Press