Specifying software : a hands-on introduction /
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | English |
| Argitaratua: |
New York :
Cambridge University Press,
2002.
|
| Gaiak: | |
| Sarrera elektronikoa: | Publisher description Table of contents |
| LEADER | 01978cam a2200397 a 4500 | ||
|---|---|---|---|
| 001 | c000379439 | ||
| 003 | CARM | ||
| 005 | 20110111162235.0 | ||
| 008 | 110111s2002 nyu b 000 0 eng d | ||
| 010 | |a 2001037939 | ||
| 015 | |a GBA2-27757 | ||
| 019 | 1 | |a 22834440 |5 LACONCORD2021 | |
| 020 | |a 0521004012 (pb.) | ||
| 020 | |a 0521808146 | ||
| 035 | |a (OCoLC)47295898 |5 LACONCORD2021 | ||
| 040 | |a QU | ||
| 042 | |a pcc | ||
| 050 | 0 | 0 | |a QA76.6 |b .T4416 2002 |
| 050 | 0 | 0 | |a QA76.6 |b .T4416 2001 |
| 082 | 0 | 0 | |a 005.1 |2 21 |
| 100 | 1 | |a Tennent, R. D., |d 1944- | |
| 245 | 1 | 0 | |a Specifying software : |b a hands-on introduction / |c R.D. Tennent. |
| 260 | |a New York : |b Cambridge University Press, |c 2002. | ||
| 300 | |a 289 p. : |b ill. ; |c 23 cm. | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 2 | |a A. Algorithms -- 1. Specifying Algorithms -- 2. Verifying Algorithms: Basic Techniques -- 3. Verifying Algorithms: Some Examples -- 4. Additional Verification Techniques -- B. Data Representations -- 5. Data Representation: A Case Study -- 6. Data Representation: Additional Examples -- C. Language Recognizers -- 7. Basic Concepts -- 8. State-Transition Diagrams -- 9. Regular Languages -- 10. Context-Free Languages -- 11. Parsing -- D. Unimplementable Specifications -- 12. A Taste of Computability Theory -- App. A. Programming Language Reference. | |
| 546 | |a English. | ||
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Computer software |x Specifications. | |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/description/cam022/2001037939.html |
| 856 | 4 | 1 | |3 Table of contents |u http://www.loc.gov/catdir/toc/cam023/2001037939.html |
| 852 | 8 | |b CARM |p 0462313 |f BK | |
| 852 | 8 | |b SCAN |h A3:AE22B0 |i B11832 |p 0462313 |f BK | |
| 999 | f | f | |i 67e9e7ef-d1ef-559b-9e85-e96ca588b6d4 |s c710036d-9954-525f-a2ac-38c6918afe7c |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |i book |m 0462313 |
| 952 | f | f | |a CAVAL |b CAVAL |c CAVAL |d Unmapped Location |e B11832 |f A3:AE22B0 |h Other scheme |