Matches in Library of Congress for { <http://lccn.loc.gov/2007928737> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2007928737 alternative "FORTE 2007".
- 2007928737 contributor B11060184.
- 2007928737 contributor B11060185.
- 2007928737 contributor B11060186.
- 2007928737 created "c2007.".
- 2007928737 date "2007".
- 2007928737 date "c2007.".
- 2007928737 dateCopyrighted "c2007.".
- 2007928737 description "Includes bibliographical references and index.".
- 2007928737 extent "xi, 373 p. :".
- 2007928737 identifier "3540731954 (pbk.)".
- 2007928737 identifier "9783540731955 (pbk.)".
- 2007928737 isPartOf "Lecture notes in computer science, 0302-9743 ; 4574".
- 2007928737 issued "2007".
- 2007928737 issued "c2007.".
- 2007928737 language "eng".
- 2007928737 publisher "Berlin ; New York : Springer,".
- 2007928737 subject "004.6/2 22".
- 2007928737 subject "Computer network protocols Congresses.".
- 2007928737 subject "Electronic data processing Distributed processing Congresses.".
- 2007928737 subject "Formal methods (Computer science) Congresses.".
- 2007928737 subject "QA76.9.F67 F67 2007".
- 2007928737 title "FORTE 2007".
- 2007928737 title "Formal techniques for networked and distributed systems : FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / John Derrick, Jüri Vain (eds.).".
- 2007928737 type "text".