|
|
Sold Out
Book Categories |
Part I. Algebraic Specification:
1. Introducing the basic concepts;
2. Setting up algebraic specifications;
3. Structuring algebraic specifications;
4. Implementing algebraic specifications;
Part II. State-Based Specification:
5. From algebras to states;
6. Setting up state-based specification;
7. Structuring state-based specification;
8. Implementing state-based specification;
Part III. Advanced Techniques:
9. Theoretical topics;
10. Additional language constructs;
11. Towards large systems; Bibliography; Appendices; Index.
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Antoinette Lukaszewski
reviewed Formal Specification And Design on January 08, 2020
Formal Specification And Design
Ma note de lecture complète en français ici
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Formal Specification And Design
X
This Item is in Your Inventory
Formal Specification And Design
X
You must be logged in to review the productsX
X
X
Add Formal Specification And Design, Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified , Formal Specification And Design to the inventory that you are selling on WonderClubX
X
Add Formal Specification And Design, Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified , Formal Specification And Design to your collection on WonderClub |
