The B Language and Method: A Guide to Practical Formal Development - Kevin Lano
-30% with code BOOKS
Shipping in 12-18 days
30-day return policy
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 ... Full description
You May Also Like
TOP
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky, Nate Soares
-30% with code BOOKS
In stock at our supplier
TOP
How To Think About AI: A Guide For The Perplexed
-30% with code BOOKS
In stock at our supplier
TOP
Gödel, Escher, Bach: An Eternal Golden Braid
-30% with code BOOKS
In stock at our supplier
TOP
AI Engineering: Building Applications with Foundation Models
-30% with code BOOKS
In stock at our supplier
TOP
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI
-30% with code BOOKS
In stock at our supplier
TOP
Python Crash Course: A Hands-On, Project-Based Introduction to Programming
-30% with code BOOKS
In stock at our supplier
TOP
The Rust Programming Language
Steve Klabnik, Carol Nichols, Chris Krycho
-30% with code BOOKS
In stock at our supplier
TOP
How to Talk to AI: (And How Not To)
-30% with code BOOKS
In stock at our supplier
TOP
The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition
-30% with code BOOKS
In stock at our supplier
TOP
Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution
-30% with code BOOKS
In stock at our supplier
TOP
The Art of Game Design: A Book of Lenses
-30% with code BOOKS
In stock at our supplier
TOP
How Linux Works: What Every Superuser Should Know
-30% with code BOOKS
In stock at our supplier
TOP
Hands-On Large Language Models: Language Understanding and Generation
Maarten Grootendorst, Jay Alammar
-30% with code BOOKS
In stock at our supplier
TOP
Fundamentals of Software Architecture: A Modern Engineering Approach
-30% with code BOOKS
In stock at our supplier
TOP
Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers
-30% with code BOOKS
In stock at our supplier
TOP
Slanted 47 Digital Tools: Slanted Magazine
-30% with code BOOKS
In stock at our supplier
TOP
Clean Architecture: A Craftsman's Guide to Software Structure and Design
-30% with code BOOKS
In stock at our supplier
TOP
World of Warcraft Chronicle, Volume 2
-30% with code BOOKS
In stock at our supplier
TOP
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali
-30% with code BOOKS
In stock at our supplier
Description
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.
More Information
| Author | Kevin Lano |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Series | Formal Approaches to Computing and Information Technology (FACIT) |
| Release year | 1996 |
| Cover type | Softcover |
| EAN | 9783540760337 |