HOME > Detail View

Detail View

Theoretical introduction to programming

Theoretical introduction to programming

Material type
단행본
Personal Author
Mills, Bruce.
Title Statement
Theoretical introduction to programming / Bruce Mills.
Publication, Distribution, etc
London :   Springer ,   c2006.  
Physical Medium
xi, 358 p. : ill. ; 24 cm.
ISBN
1846280214 (pbk.)
Bibliography, Etc. Note
Includes bibliographical references (p. 351-352) and index.
Subject Added Entry-Topical Term
Computer programming.
000 00845camuu2200265 a 4500
001 000045305085
005 20061110104842
008 050422s2006 enka f b 001 0 eng c
010 ▼a 2005926335
015 ▼a GBA551263 ▼2 bnb
020 ▼a 1846280214 (pbk.)
024 3 ▼a 9781846280214
035 ▼a (KERIS)REF000012558098
040 ▼a UKM ▼c UKM ▼d BAKER ▼d OHX ▼d BWKUK ▼d UMC ▼d DLC ▼d 244002
042 ▼a pcc
050 0 0 ▼a QA76.6 ▼b .M5228 2006
082 0 0 ▼a 005.1 ▼2 22
090 ▼a 005.1 ▼b M657t
100 1 ▼a Mills, Bruce.
245 1 0 ▼a Theoretical introduction to programming / ▼c Bruce Mills.
260 ▼a London : ▼b Springer , ▼c c2006.
300 ▼a xi, 358 p. : ▼b ill. ; ▼c 24 cm.
504 ▼a Includes bibliographical references (p. 351-352) and index.
650 0 ▼a Computer programming.

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 005.1 M657t Accession No. 151217372 Availability Available Due Date Make a Reservation Service C

Contents information

Table of Contents

The Abstract Rational Outlook.- A Grab Bag of Computational Models.- Some Formal Technology.- Limitations on Exact Knowledge.- Some Orthodox Languages.- Arithmetic Computation.- Repetitive Computation.- Temporal Interaction.- Container Datatypes.


Information Provided By: : Aladin

New Arrivals Books in Related Fields