Matches in Library of Congress for { <http://lccn.loc.gov/2005927232> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- 2005927232 alternative "10th Ada-Europe International Conference on Reliable Software Technologies".
- 2005927232 alternative "Ada-Europe 2005".
- 2005927232 alternative "Ada-Europe International Conference on Reliable Software Technologies".
- 2005927232 alternative "Tenth Ada-Europe International Conference on Reliable Software Technologies".
- 2005927232 contributor B10395806.
- 2005927232 contributor B10395807.
- 2005927232 created "c2005.".
- 2005927232 date "2005".
- 2005927232 date "c2005.".
- 2005927232 dateCopyrighted "c2005.".
- 2005927232 description "Applications -- Design and scheduling issues -- Formal methods -- Ada and education -- Certification and verification -- Distributed systems -- Language issues -- Ravenscar technology.".
- 2005927232 description "Includes bibliographical references and index.".
- 2005927232 extent "xv, 271 p. :".
- 2005927232 hasFormat "Also issued online.".
- 2005927232 identifier "3540262865 (pbk.)".
- 2005927232 identifier "9783540262862".
- 2005927232 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3555.
- 2005927232 identifier 2005927232-d.html.
- 2005927232 isFormatOf "Also issued online.".
- 2005927232 isPartOf "Lecture notes in computer science, 0302-9743 ; 3555".
- 2005927232 issued "2005".
- 2005927232 issued "c2005.".
- 2005927232 language "eng".
- 2005927232 publisher "Berlin ; New York : Springer,".
- 2005927232 relation "Also issued online.".
- 2005927232 subject "005.1 22".
- 2005927232 subject "Computer software Reliability Congresses.".
- 2005927232 subject "QA76.76.R44 A33 2005".
- 2005927232 tableOfContents "Applications -- Design and scheduling issues -- Formal methods -- Ada and education -- Certification and verification -- Distributed systems -- Language issues -- Ravenscar technology.".
- 2005927232 title "10th Ada-Europe International Conference on Reliable Software Technologies".
- 2005927232 title "Ada-Europe 2005".
- 2005927232 title "Ada-Europe International Conference on Reliable Software Technologies".
- 2005927232 title "Reliable software technology : Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings / Tullio Vardanega, Andy Wellings (eds.).".
- 2005927232 title "Tenth Ada-Europe International Conference on Reliable Software Technologies".
- 2005927232 type "text".