Show simple item record

AuthorPfeifer, Holgerdc.contributor.author
AuthorDold, Axeldc.contributor.author
AuthorHenke, Friedrich Wilhelm vondc.contributor.author
AuthorRueß, Haralddc.contributor.author
Date of accession2016-03-15T06:22:50Zdc.date.accessioned
Available in OPARU since2016-03-15T06:22:50Zdc.date.available
Year of creation1996dc.date.created
AbstractN/Adc.description.abstract
Languagededc.language.iso
PublisherUniversität Ulmdc.publisher
LicenseStandard (Fassung vom 01.10.2008)dc.rights
Link to license texthttps://oparu.uni-ulm.de/xmlui/license_v2dc.rights.uri
KeywordVerifixdc.subject
Dewey Decimal GroupDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHComputer programs. Verificationdc.subject.lcsh
TitleMechanized semantics of simple imperative programming constructsdc.title
Resource typeWissenschaftlicher Beitragdc.type
DOIhttp://dx.doi.org/10.18725/OPARU-1714dc.identifier.doi
PPN164857047Xdc.identifier.ppn
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-71337dc.identifier.urn
GNDAlgorithmische Programmierungdc.subject.gnd
FacultyFakultät für Ingenieurwissenschaften und Informatikuulm.affiliationGeneral
Date of activation2009-11-30T22:29:40Zuulm.freischaltungVTS
Peer reviewneinuulm.peerReview
DCMI TypeTextuulm.typeDCMI
VTS-ID7133uulm.vtsID
CategoryPublikationenuulm.category


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record