Show simple item record

EditorMöller, B.dc.contributor.editor
EditorPartsch, H.dc.contributor.editor
EditorSchuman, S.dc.contributor.editor
Date of accession2020-03-31T11:36:41Zdc.date.accessioned
Available in OPARU since2020-03-31T11:36:41Zdc.date.available
Date of first publication1993dc.date.issued
ISBN978-3-540-57499-6dc.identifier.isbn
ISBN978-3-540-48197-3dc.identifier.isbn
ISSN0302-9743dc.identifier.issn
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleFormal Program Development: IFIP TC2 State-of-the-Art Reportdc.title
Resource typeBuchdc.type
FacultyFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.affiliationGeneral
InstitutionInstitut für Programmiermethodik und Compilerbauuulm.affiliationSpecific
DCMI TypeTextuulm.typeDCMI
CategoryPublikationsnachweiseuulm.category
SeriesLecture Notes in Computer Science ; 755uulm.series
Place of publicationBerlinuulm.publisherPlace
PublisherSpringeruulm.publisherName
eISSN1611-3349dc.identifier.eissn
DOI (external)10.1007/3-540-57499-9dc.identifier.doiExternal
CommunityFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.community
Bibliographyuulmuulm.bibliographie


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record