|
|
Sold Out
Book Categories |
| Preface | ||
| Introduction | 1 | |
| A | Algorithms | 11 |
| 1 | Specifying Algorithms | 15 |
| 2 | Verifying Algorithms: Basic Techniques | 31 |
| 3 | Verifying Algorithms: Some Examples | 61 |
| 4 | Additional Verification Techniques | 81 |
| B | Data Representations | 107 |
| 5 | Data Representation: A Case Study | 111 |
| 6 | Data Representation: Additional Examples | 125 |
| C | Language Recognizers | 155 |
| 7 | Basic Concepts | 159 |
| 8 | State-Transition Diagrams | 169 |
| 9 | Regular Languages | 191 |
| 10 | Context-Free Languages | 207 |
| 11 | Parsing | 227 |
| D | Unimplementable Specifications | 243 |
| 12 | A Taste of Computability Theory | 247 |
| App. A | Programming Language Reference | 257 |
| App. B: Hints for Selected Exercises | 279 | |
| Index | 285 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Gerarde Nicholas
reviewed Specifying Software: A Hands-on Introduction on January 01, 2014
Specifying Software: A Hands-on Introduction
The only reason not giving 5 starts is that the book is too much concentrated on Java programming language..
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
Specifying Software: A Hands-on Introduction
X
This Item is in Your Inventory
Specifying Software: A Hands-on Introduction
X
You must be logged in to review the productsX
X
X
Add Specifying Software: A Hands-on Introduction, , Specifying Software: A Hands-on Introduction to the inventory that you are selling on WonderClubX
X
Add Specifying Software: A Hands-on Introduction, , Specifying Software: A Hands-on Introduction to your collection on WonderClub |