textbook
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
textbook [2008/07/25 16:31] – jonathan | textbook [2008/07/25 16:44] (current) – jonathan | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Textbook ====== | ====== Textbook ====== | ||
+ | [[http:// | ||
* **Required**: | * **Required**: | ||
* **Suggested** | * **Suggested** | ||
+ | * QA 76.9 O35 F695 2004 UML distilled : a brief guide to the standard object / Fowler, Martin, 1963- reserve desk: | ||
+ | * QA 76.758 K69 1998 Requirements engineering : processes and techniques / Ger / Kotonya, Gerald. reserve desk: | ||
+ | *QA 76.76 D47 J32 2001 Problem frames : analysing and structuring software develop / Jackson, M. A. reserve desk: | ||
+ | * QA 76.76 D47 W493 2006. More about software requirements : thorny issu / Wiegers, Karl Eugene, 1953- reserve desk: | ||
* Mordechai Ben-Ari, Principles of the Spin model checeker, Springer, ISBN-13: 978-1846287695, | * Mordechai Ben-Ari, Principles of the Spin model checeker, Springer, ISBN-13: 978-1846287695, | ||
+ | * TA 168 H68 2004 The spin model checker : primer and reference m / Holzmann, Gerald J., 1951- reserve desk: | ||
+ | |||
- | * QA 76.76 D47 W493 2006 More about software requirements : thorny issu / Wiegers, Karl Eugene, 1953- reserve desk: | ||
- | |||
- | QA 76.758 K69 1998 Requirements engineering : processes and techniques / Ger / Kotonya, Gerald. reserve desk: | ||
- | |||
- | TA 168 H68 2004 The spin model checker : primer and reference m / Holzmann, Gerald J., 1951- reserve desk: | ||
- | |||
- | QA 76.9 O35 F695 2004 UML distilled : a brief guide to the standard object / Fowler, Martin, 1963- reserve desk: | ||
- | |||
- | This email was cleaned by emailStripper, | ||
- | | ||
- | |||
- | |||
- | |||
- | You may purchase this book through the [[http:// |
textbook.1217003487.txt.gz · Last modified: 2008/07/25 16:31 by jonathan