<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Specification and validation methods</title>
  </titleInfo>
  <name type="personal">
    <namePart>B诲ger, E.</namePart>
    <namePart type="date">1946-</namePart>
  </name>
  <typeOfResource/>
  <originInfo>
    <place>
      <placeTerm type="text">Oxford</placeTerm>
    </place>
    <place>
      <placeTerm type="text">New York</placeTerm>
    </place>
    <publisher>Clarendon</publisher>
    <publisher>Oxford University Press</publisher>
    <dateIssued>1995</dateIssued>
    <issuance/>
  </originInfo>
  <physicalDescription>
    <extent>460 p. : ill. ; 24 cm.</extent>
  </physicalDescription>
  <tableOfContents>Introduction (Page -1), Part-1: Evolving Algebras (Page-7), Part-II: Programming Languages (Page-53), Part-III: Parallel and Distributed Programs (Page-165), Part-IV: Protocols (Page-245), Part-V: Architecture Design (Page-329).</tableOfContents>
  <note type="statement of responsibility">edited by Egon Borger.</note>
  <subject authority="lcsh">
    <topic>Programming languages (Electronic computers)</topic>
  </subject>
  <classification authority="ddc">004.015,SPE</classification>
  <relatedItem type="series">
    <titleInfo>
      <title>International schools for computer scientists</title>
    </titleInfo>
  </relatedItem>
  <relatedItem type="series">
    <titleInfo>
      <title>Oxford science publications</title>
    </titleInfo>
  </relatedItem>
  <identifier type="isbn">0198538545</identifier>
  <identifier type="lccn">95010608</identifier>
  <identifier type="uri">http://www.loc.gov/catdir/enhancements/fy0640/95010608-d.html</identifier>
  <identifier type="uri">http://www.loc.gov/catdir/enhancements/fy0640/95010608-t.html</identifier>
  <location>
    <url displayLabel="Publisher description">http://www.loc.gov/catdir/enhancements/fy0640/95010608-d.html</url>
  </location>
  <location>
    <url displayLabel="Table of contents only">http://www.loc.gov/catdir/enhancements/fy0640/95010608-t.html</url>
  </location>
  <recordInfo>
    <recordContentSource authority="marcorg"/>
    <recordChangeDate encoding="iso8601">20220720100123.0</recordChangeDate>
  </recordInfo>
</mods>
