What's new

Welcome to W9B - Most Trusted Web Master Form By The Web Experts

Join us now to get access to all our features. Once registered and logged in, you will be able to create topics, post replies to existing threads, give reputation to your fellow members, get your own private messenger, and so, so much more. It's also quick and totally free, so what are you waiting for?

The B Language and Method A Guide to Practical Formal Development

TUTBB

Change Here
Gold
Platinum
Silver
Joined
Jul 3, 2023
Messages
98,553
Reaction score
1
Points
38
0   0   0
ea14630bf3cb355a1450570339d47c1b.webp

Free Download The B Language and Method: A Guide to Practical Formal Development By Kevin Lano BSc, MSc, PhD (auth.)
1996 | 232 Pages | ISBN: 3540760334 | PDF | 9 MB
B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.



Buy Premium From My Links To Get Resumable Support and Max Speed

Rapidgator
lqiiq.7z.html
TakeFile
lqiiq.7z.html
Fileaxa
Fikper
lqiiq.7z.html


Links are Interchangeable - Single Extraction
 
Top Bottom