The use of B to specify‚ design and verify hardware
Wilson Ifill‚ Ib Sorensen and Steve Schneider
Details
| Address |
Norwell‚ MA‚ USA |
| ISBN |
0−7923−7949−7 |
| Pages |
43–62 |
| Publisher |
Kluwer Academic Publishers |
| Year |
2001 |
Links
Related pages
|
People |