<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:mets="http://www.loc.gov/METS/" xmlns:mods="http://www.loc.gov/mods/v3" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd"><responseDate>2026-07-22T17:53:40Z</responseDate><request verb="GetRecord" metadataPrefix="mets" identifier="269989">https://ce.visuallibrary.net/ubpb/oai/</request><GetRecord><record><header><identifier>oai:ce.visuallibrary.net/ubpb:269989</identifier><datestamp>2015-04-15T15:00:11Z</datestamp><setSpec>ubpbce</setSpec><setSpec>book</setSpec></header><metadata><mets:mets xmlns:xlink="http://www.w3.org/1999/xlink" xsi:schemaLocation="http://www.loc.gov/METS/ http://www.loc.gov/standards/mets/version112/mets.xsd" OBJID="4">
<mets:metsHdr CREATEDATE="2026-07-22T19:53:40"><mets:agent ROLE="OTHER" TYPE="OTHER" OTHERTYPE="SOFTWARE"><mets:name>vls/2603</mets:name></mets:agent><mets:agent ROLE="OTHER" TYPE="OTHER" OTHERTYPE="INSTANCE"><mets:name>nrwce</mets:name></mets:agent><mets:agent ROLE="OTHER" TYPE="OTHER" OTHERTYPE="REPOSITORY"><mets:name>ce.visuallibrary.net</mets:name></mets:agent><mets:agent ROLE="OTHER" TYPE="OTHER" OTHERTYPE="BUILDER"><mets:name>vd</mets:name></mets:agent></mets:metsHdr><mets:dmdSec ID="md269989"><mets:mdWrap MIMETYPE="text/xml" MDTYPE="MODS"><mets:xmlData><mods:mods version="3.8" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-8.xsd"><mods:titleInfo><mods:nonSort>The</mods:nonSort><mods:title>formal semantics of programming languages</mods:title><mods:subTitle>an introduction</mods:subTitle></mods:titleInfo><mods:name type="personal" authority="gnd" authorityURI="http://d-nb.info/gnd/" valueURI="http://d-nb.info/gnd/152056459"><mods:namePart>Winskel, Glynn</mods:namePart><mods:role><mods:roleTerm type="code" authority="marcrelator">aut</mods:roleTerm></mods:role></mods:name><mods:typeOfResource>text</mods:typeOfResource><mods:genre authority="marcgt">book</mods:genre><mods:originInfo><mods:place><mods:placeTerm type="text">Cambridge, Mass. [u.a.]</mods:placeTerm></mods:place><mods:publisher>MIT Press</mods:publisher><mods:dateIssued encoding="w3cdtf" keyDate="yes">1996</mods:dateIssued><mods:edition>3. print.</mods:edition><mods:issuance>monographic</mods:issuance></mods:originInfo><mods:language><mods:languageTerm authority="iso639-2b" type="code">eng</mods:languageTerm></mods:language><mods:physicalDescription><mods:extent>XVIII, 361 S.</mods:extent></mods:physicalDescription><mods:note type="statement of responsibility">Glynn Winskel</mods:note><mods:subject><mods:topic authority="gnd" authorityURI="http://d-nb.info/gnd/" valueURI="http://d-nb.info/gnd/4047409-4">Programmiersprache</mods:topic><mods:topic authority="gnd" authorityURI="http://d-nb.info/gnd/" valueURI="http://d-nb.info/gnd/4221249-2">Operationale Semantik</mods:topic><mods:topic authority="gnd" authorityURI="http://d-nb.info/gnd/" valueURI="http://d-nb.info/gnd/4194483-5">Funktionale Semantik</mods:topic><mods:topic authority="gnd" authorityURI="http://d-nb.info/gnd/" valueURI="http://d-nb.info/gnd/4323070-2">Axiomatische Semantik</mods:topic></mods:subject><mods:identifier type="isbn" displayLabel="ISBN 10">0-262-23169-7</mods:identifier><mods:identifier type="ncidn">HT008884376</mods:identifier><mods:relatedItem type="series"><mods:titleInfo><mods:title>Foundations of computing</mods:title></mods:titleInfo></mods:relatedItem><mods:location><mods:physicalLocation authority="local library code">6</mods:physicalLocation><mods:holdingSimple><mods:copyInformation><mods:subLocation>00000040</mods:subLocation><mods:shelfLocator>3H 49592</mods:shelfLocator></mods:copyInformation></mods:holdingSimple></mods:location><mods:location><mods:physicalLocation authority="local library code">6/282</mods:physicalLocation><mods:holdingSimple><mods:copyInformation><mods:subLocation>00071001</mods:subLocation><mods:shelfLocator>WI 14 565 a-b</mods:shelfLocator></mods:copyInformation></mods:holdingSimple></mods:location><mods:location><mods:physicalLocation authority="local library code">6/282</mods:physicalLocation><mods:holdingSimple><mods:copyInformation><mods:subLocation>00071001</mods:subLocation><mods:shelfLocator>Sign. im Inst. erfragen</mods:shelfLocator></mods:copyInformation></mods:holdingSimple></mods:location><mods:location><mods:physicalLocation authority="local library code">464</mods:physicalLocation><mods:holdingSimple><mods:copyInformation><mods:subLocation>D01</mods:subLocation><mods:shelfLocator>TXL1442_d</mods:shelfLocator></mods:copyInformation></mods:holdingSimple></mods:location><mods:location><mods:physicalLocation authority="local library code">466</mods:physicalLocation><mods:holdingSimple><mods:copyInformation><mods:subLocation>41</mods:subLocation><mods:shelfLocator>TXL1793+1</mods:shelfLocator></mods:copyInformation></mods:holdingSimple></mods:location><mods:recordInfo><mods:recordCreationDate encoding="marc">19980818</mods:recordCreationDate><mods:recordChangeDate encoding="marc">20010123</mods:recordChangeDate><mods:recordIdentifier source="ubpbce">TXL1793+1</mods:recordIdentifier></mods:recordInfo></mods:mods></mets:xmlData></mets:mdWrap></mets:dmdSec><mets:amdSec ID="amd269989"><mets:rightsMD ID="rights269989">
<mets:mdWrap MIMETYPE="text/xml" MDTYPE="OTHER" OTHERMDTYPE="DVRIGHTS">
<mets:xmlData>
<dv:rights xmlns:dv="http://dfg-viewer.de/">
<dv:ownerLogo>https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif</dv:ownerLogo></dv:rights>
</mets:xmlData>
</mets:mdWrap>
</mets:rightsMD><mets:digiprovMD ID="digiprov269989">
<mets:mdWrap MIMETYPE="text/xml" MDTYPE="OTHER" OTHERMDTYPE="DVLINKS">
<mets:xmlData>
<dv:links xmlns:dv="http://dfg-viewer.de/">
<dv:reference>http://193.30.112.129:83/F/?func=find-c&amp;ccl_term=ICS%3DTXL1793%2B1</dv:reference>
<dv:presentation>https://ce.visuallibrary.net/id/269989</dv:presentation>
<dv:iiif>https://ce.visuallibrary.net/i3f/v20/269989/manifest</dv:iiif>
<dv:sru>https://ce.visuallibrary.net/proto_ftsearch/269989</dv:sru></dv:links>
</mets:xmlData>
</mets:mdWrap>
</mets:digiprovMD></mets:amdSec><mets:fileSec><mets:fileGrp USE="DOWNLOAD"><mets:file MIMETYPE="application/pdf" CHECKSUM="b2bae882ab9e2d89c8ab3881cb91172169ef84e7" CREATED="2015-04-13T10:43:01.840600Z" CHECKSUMTYPE="SHA-1" SIZE="566726" ID="PDF_269989"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/pdf/269989" LOCTYPE="URL"/></mets:file></mets:fileGrp><mets:fileGrp USE="TEASER"><mets:file MIMETYPE="image/png" CREATED="2015-04-13T09:45:06.267500Z" ID="IMG_TEASER_270002"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/304/270002" LOCTYPE="URL"/></mets:file></mets:fileGrp><mets:fileGrp USE="DEFAULT"><mets:file MIMETYPE="image/png" ID="IMG_DEFAULT_270002"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/1000/270002" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_DEFAULT_270003"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/1000/270003" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_DEFAULT_270004"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/1000/270004" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_DEFAULT_270005"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/1000/270005" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_DEFAULT_270006"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/1000/270006" LOCTYPE="URL"/></mets:file></mets:fileGrp><mets:fileGrp USE="THUMBS"><mets:file MIMETYPE="image/png" ID="IMG_THUMBS_270002"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/128/270002" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_THUMBS_270003"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/128/270003" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_THUMBS_270004"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/128/270004" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_THUMBS_270005"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/128/270005" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_THUMBS_270006"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/128/270006" LOCTYPE="URL"/></mets:file></mets:fileGrp><mets:fileGrp USE="MIN"><mets:file MIMETYPE="image/png" ID="IMG_MIN_270002"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/504/270002" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_MIN_270003"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/504/270003" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_MIN_270004"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/504/270004" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_MIN_270005"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/504/270005" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_MIN_270006"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/504/270006" LOCTYPE="URL"/></mets:file></mets:fileGrp><mets:fileGrp USE="MAX"><mets:file MIMETYPE="image/png" ID="IMG_MAX_270002"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/0/270002" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_MAX_270003"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/0/270003" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_MAX_270004"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/0/270004" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_MAX_270005"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/0/270005" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="image/png" ID="IMG_MAX_270006"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/webcache/0/270006" LOCTYPE="URL"/></mets:file></mets:fileGrp><mets:fileGrp USE="FULLTEXT"><mets:file MIMETYPE="text/xml" CREATED="2015-04-13T09:47:42.989600Z" ID="ALTO270002"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/fulltext/alto3/270002" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="text/xml" CREATED="2015-04-13T09:47:55.370100Z" ID="ALTO270003"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/fulltext/alto3/270003" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="text/xml" CREATED="2015-04-13T09:48:03.311400Z" ID="ALTO270004"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/fulltext/alto3/270004" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="text/xml" CREATED="2015-04-13T09:48:10.324400Z" ID="ALTO270005"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/fulltext/alto3/270005" LOCTYPE="URL"/></mets:file><mets:file MIMETYPE="text/xml" CREATED="2015-04-13T09:48:16.487500Z" ID="ALTO270006"><mets:FLocat xlink:href="https://ce.visuallibrary.net/download/fulltext/alto3/270006" LOCTYPE="URL"/></mets:file></mets:fileGrp></mets:fileSec><mets:structMap TYPE="PHYSICAL"><mets:div TYPE="physSequence" ID="physroot"><mets:div ID="phys270002" TYPE="page" LABEL="[Seite 1]" ORDER="1"><mets:fptr FILEID="IMG_DEFAULT_270002"/><mets:fptr FILEID="IMG_THUMBS_270002"/><mets:fptr FILEID="IMG_MIN_270002"/><mets:fptr FILEID="IMG_MAX_270002"/><mets:fptr FILEID="ALTO270002"/></mets:div><mets:div ID="phys270003" TYPE="page" LABEL="[Seite 2]" ORDER="2"><mets:fptr FILEID="IMG_DEFAULT_270003"/><mets:fptr FILEID="IMG_THUMBS_270003"/><mets:fptr FILEID="IMG_MIN_270003"/><mets:fptr FILEID="IMG_MAX_270003"/><mets:fptr FILEID="ALTO270003"/></mets:div><mets:div ID="phys270004" TYPE="page" LABEL="[Seite 3]" ORDER="3"><mets:fptr FILEID="IMG_DEFAULT_270004"/><mets:fptr FILEID="IMG_THUMBS_270004"/><mets:fptr FILEID="IMG_MIN_270004"/><mets:fptr FILEID="IMG_MAX_270004"/><mets:fptr FILEID="ALTO270004"/></mets:div><mets:div ID="phys270005" TYPE="page" LABEL="[Seite 4]" ORDER="4"><mets:fptr FILEID="IMG_DEFAULT_270005"/><mets:fptr FILEID="IMG_THUMBS_270005"/><mets:fptr FILEID="IMG_MIN_270005"/><mets:fptr FILEID="IMG_MAX_270005"/><mets:fptr FILEID="ALTO270005"/></mets:div><mets:div ID="phys270006" TYPE="page" LABEL="[Seite 5]" ORDER="5"><mets:fptr FILEID="IMG_DEFAULT_270006"/><mets:fptr FILEID="IMG_THUMBS_270006"/><mets:fptr FILEID="IMG_MIN_270006"/><mets:fptr FILEID="IMG_MAX_270006"/><mets:fptr FILEID="ALTO270006"/></mets:div></mets:div></mets:structMap><mets:structMap TYPE="LOGICAL"><mets:div ID="log269989" DMDID="md269989" ADMID="amd269989" TYPE="monograph" LABEL="The formal semantics of programming languages" ORDER="1"><mets:fptr FILEID="PDF_269989"/><mets:fptr FILEID="IMG_TEASER_270002"/><mets:div ID="log270001" TYPE="contents" ORDER="1"/></mets:div></mets:structMap><mets:structLink><mets:smLink xlink:from="log269989" xlink:to="physroot"/><mets:smLink xlink:from="log270001" xlink:to="phys270002"/><mets:smLink xlink:from="log270001" xlink:to="phys270003"/><mets:smLink xlink:from="log270001" xlink:to="phys270004"/><mets:smLink xlink:from="log270001" xlink:to="phys270005"/><mets:smLink xlink:from="log270001" xlink:to="phys270006"/></mets:structLink></mets:mets></metadata></record></GetRecord></OAI-PMH>