Zur Kurzanzeige

dc.contributor.author
Nordio, Martin
dc.contributor.author
Müller, Peter
dc.contributor.author
Meyer, Bertrand
dc.contributor.editor
Paige, Richard F.
dc.contributor.editor
Meyer, Bertrand
dc.date.accessioned
2017-06-08T21:03:02Z
dc.date.available
2017-06-08T21:03:02Z
dc.date.issued
2008
dc.identifier.isbn
978-3-540-69823-4
dc.identifier.isbn
978-3-540-69824-1
dc.identifier.other
10.1007/978-3-540-69824-1_18
dc.identifier.uri
http://hdl.handle.net/20.500.11850/13590
dc.language.iso
en
dc.publisher
Springer
dc.subject
Software verification
dc.subject
program proofs
dc.subject
Proof-Carrying Code
dc.subject
proof-transforming compiler
dc.subject
Eiffel
dc.subject
CIL
dc.title
Proof-Transforming Compilation of Eiffel Programs
dc.type
Book Chapter
ethz.book.title
Objects, Components, Models and Patterns
ethz.journal.title
Lecture Notes in Business Information Processing
ethz.journal.volume
11
ethz.pages.start
316
ethz.pages.end
335
ethz.identifier.wos
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.date.deposited
2017-06-08T21:03:10Z
ethz.source
ECIT
ethz.identifier.importid
imp59364c2dd6bad43228
ethz.ecitpid
pub:25049
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-15T20:53:56Z
ethz.rosetta.lastUpdated
2018-10-01T06:42:41Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Proof-Transforming%20Compilation%20of%20Eiffel%20Programs&rft.jtitle=Lecture%20Notes%20in%20Business%20Information%20Processing&rft.date=2008&rft.volume=11&rft.spage=316&rft.epage=335&rft.au=Nordio,%20Martin&M%C3%BCller,%20Peter&Meyer,%20Bertrand&rft.isbn=978-3-540-69823-4&978-3-540-69824-1&rft.genre=bookitem&rft_id=info:doi/10.1007/978-3-540-69824-1_18&rft.btitle=Objects,%20Components,%20Models%20and%20Patterns
 Printexemplar via ETH-Bibliothek suchen

Dateien zu diesem Eintrag

DateienGrößeFormatIm Viewer öffnen

Zu diesem Eintrag gibt es keine Dateien.

Publikationstyp

Zur Kurzanzeige