The B-Book
Assigning Programs to Meanings
Häftad, Engelska, 2005
1 579 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2005-11-03
- Mått250 x 176 x 48 mm
- Vikt128 g
- FormatHäftad
- SpråkEngelska
- Antal sidor816
- FörlagCambridge University Press
- ISBN9780521021753