Programming methodology /
Kaydedildi:
| Diğer Yazarlar: | , |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
New York :
Springer,
2003.
|
| Seri Bilgileri: | Monographs in computer science.
|
| Konular: | |
| Online Erişim: | Publisher description Table of contents only |
| LEADER | 01907cam a2200385 a 4500 | ||
|---|---|---|---|
| 001 | c000379399 | ||
| 003 | CARM | ||
| 005 | 20101209171423.0 | ||
| 008 | 101209s2003 nyu b 001 0 eng | ||
| 010 | |a 2002017377 | ||
| 019 | 1 | |a 23292768 |5 LACONCORD2021 | |
| 020 | |a 0387953493 (alk. paper) | ||
| 035 | |a (OCoLC)48711256 |5 LACONCORD2021 | ||
| 040 | |a DLC |b eng |c DLC |d VVUT | ||
| 042 | |a pcc | ||
| 050 | 0 | 0 | |a QA76.6 |b .M3235 2002 |
| 082 | 0 | 0 | |a 005.1 |2 21 |
| 245 | 0 | 0 | |a Programming methodology / |c Annabelle McIver, Carroll Morgan, editors. |
| 260 | |a New York : |b Springer, |c 2003. | ||
| 300 | |a xvii, 469 p. ; |c 24 cm. | ||
| 490 | 0 | |a Monographs in computer science | |
| 490 | 1 | |a Monographs in computer science. | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | 0 | |a Machine derived contents note: (parts and sections listed) -- Part I: Models and correctness [concurrency and interaction, logical approaches to asynchrony, systems and real time, specifying complex behavior] -- Part II: Programming techniques [object orientation, type theory] -- Part III: Applications and automated theories -- [putting theories into practice by automation, programming circuits, security and keeping secrets] |
| 650 | 0 | |a Computer programming. | |
| 700 | 1 | |a Morgan, Carroll, |d 1952- | |
| 700 | 1 | |a McIver, Annabelle. | |
| 830 | 0 | |a Monographs in computer science. | |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0817/2002017377-d.html |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/enhancements/fy0817/2002017377-t.html |
| 852 | 8 | |b CARM |p 0462286 |f BK | |
| 852 | 8 | |b SCAN |h A3:AE16G0 |i C12633 |p 0462286 |f BK | |
| 999 | f | f | |i cccf7181-520b-5926-a8b5-72faabb912c3 |s 9c7a1ba8-00ae-56fb-88be-0767fd05677b |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |i book |m 0462286 |
| 952 | f | f | |a CAVAL |b CAVAL |c CAVAL |d Unmapped Location |e C12633 |f A3:AE16G0 |h Other scheme |