Tools

LEADER 02933cam 22006857a 4500

001 ocn132579217;

003 OCoLC;

005 20141212055606.0;

008 061127s2007 enka b 001 0 eng ;

010 a| 2006939147;

015 a| GBA7070172| bnb;

015 a| 06,N46,00422| dnb;

016 7 a| 0136511412| Uk;

019 a| 80332660;

020 a| 9781846286919 (pbk.);

020 a| 1846286913 (pbk.);

020 a| 1846286921 (ebk.);

020 a| 9781846286926 (ebk.);

028 52 a| 11891345;

029 1 a| HEBISb| 186142110;

029 1 a| DEBBGb| BV022462481;

029 1 a| YDXCPb| 2540997;

029 1 a| OHXb| har060140851;

029 1 a| AU@b| 000041638114;

029 1 a| NLGGCb| 301695822;

029 1 a| NZ1b| 11212464;

035 a| (Sirsi) o132579217;

035 a| (OCoLC)132579217z| (OCoLC)80332660;

042 a| lccopycat;

049 a| EREE;

050 00 a| QA76.7b| .N543 2007;

082 04 a| 005.1312| 22;

084 a| 0042| sdnb;

084 a| ST 1402| rvk;

100 1 a| Nielson, Hanne Riis,d| 1954-=| ^A300237;

245 10 a| Semantics with applications :b| an appetizer /c| Hanne Riis Nielson and Flemming Nielson.;

260 a| London :b| Springer,c| 2007.;

300 a| xii, 274 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Undergraduate topics in computer science;

504 a| Includes bibliographical references (p. [267]-268) and index.;

505 0 a| List of Tables.- Preface.- Introduction.- Operational Semantics.- More on Operational Semantics.- Provably Correct Implementation.- Denotational Semantics.- More on Denotational Semantics.- Program Analysis.- More on Program Analysis.- Axiomatic Program Verification.- More on Axiomatic Program Verification.- Further Reading .- Review of Notation.- Implementation of Program Analysis.- Bibliography.- Index.;

650 0 a| Programming languages (Electronic computers)x| Semantics.=| ^A118081;

650 07 a| Formale Semantik.2| swd;

700 1 a| Nielson, Flemming,d| 1955-=| ^A300236;

830 0 a| Undergraduate topics in computer science.=| ^A787640;

856 42 3| Publisher descriptionu| http://catdir.loc.gov/catdir/enhancements/fy0825/2006939147-d.html;

856 41 3| Table of contents onlyu| http://catdir.loc.gov/catdir/enhancements/fy0825/2006939147-t.html;

938 a| Baker & Taylorb| BKTYc| 39.95d| 39.95i| 1846286913n| 0007177115s| active;

938 a| YBP Library Servicesb| YANKn| 2540997;

938 a| Baker and Taylorb| BTCPn| BK0007177115;

938 a| Otto Harrassowitzb| HARRn| har060140851;

949 a| QA76.7 .N543 2007h| joyner48i| 30372016207448o| jjlm;

994 a| C0b| ERE;

596 a| 1;

998 a| 3352048;

999 a| QA76.7 .N543 2007w| LCc| 1i| 30372016207448d| 7/28/2015e| 4/30/2015l| JGESm| JOYNERn| 3r| Ys| Yt| JGESBKu| 7/30/2013x| BOOKz| JSTACKS;

Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson.

Author/creator	Nielson, Hanne Riis, 1954-
Other author	Nielson, Flemming, 1955-
Format	Book
Publication Info	London : Springer, 2007.
Description	xii, 274 pages : illustrations ; 24 cm.
Supplemental Content	Publisher description
Supplemental Content	Table of contents only
Subjects	Programming languages (Electronic computers)--Semantics.

Series	Undergraduate topics in computer science Undergraduate topics in computer science. ^A787640
Contents	List of Tables.- Preface.- Introduction.- Operational Semantics.- More on Operational Semantics.- Provably Correct Implementation.- Denotational Semantics.- More on Denotational Semantics.- Program Analysis.- More on Program Analysis.- Axiomatic Program Verification.- More on Axiomatic Program Verification.- Further Reading .- Review of Notation.- Implementation of Program Analysis.- Bibliography.- Index.
Bibliography note	Includes bibliographical references (p. [267]-268) and index.
LCCN	2006939147
ISBN	9781846286919 (pbk.)
ISBN	1846286913 (pbk.)
ISBN	1846286921 (ebk.)
ISBN	9781846286926 (ebk.)
Publisher number	11891345

Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson.

Click here for more information about this title