Matches in Library of Congress for { <http://lccn.loc.gov/2005920315> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2005920315 contributor B10390245.
- 2005920315 created "c2005.".
- 2005920315 date "2005".
- 2005920315 date "c2005.".
- 2005920315 dateCopyrighted "c2005.".
- 2005920315 description "Includes bibliographical references and index.".
- 2005920315 extent "xxvii, 411 p. :".
- 2005920315 identifier "3540249362".
- 2005920315 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3393.
- 2005920315 identifier 2005920315-d.html.
- 2005920315 isPartOf "Festschrift".
- 2005920315 isPartOf "Lecture notes in computer science, 0302-9743 ; 3393".
- 2005920315 isPartOf "Lecture notes in computer science. Festschrift.".
- 2005920315 issued "2005".
- 2005920315 issued "c2005.".
- 2005920315 language "eng".
- 2005920315 publisher "Berlin ; New York : Springer,".
- 2005920315 subject "004/.01/51 22".
- 2005920315 subject "Computer software.".
- 2005920315 subject "Computer systems Design.".
- 2005920315 subject "Formal methods (Computer science)".
- 2005920315 subject "QA76.9.F67 F66 2005".
- 2005920315 title "Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / Hans-Jörg Kreowski ... [et al.] (eds.).".
- 2005920315 type "text".