Matches in Library of Congress for { <http://lccn.loc.gov/2006935874> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2006935874 alternative "ISoLA 2004".
- 2006935874 contributor B10745112.
- 2006935874 contributor B10745113.
- 2006935874 created "c2006.".
- 2006935874 date "2006".
- 2006935874 date "c2006.".
- 2006935874 dateCopyrighted "c2006.".
- 2006935874 description "Includes bibliographical references and index.".
- 2006935874 extent "viii, 196 p. :".
- 2006935874 identifier "3540489282 (pbk.)".
- 2006935874 identifier "9783540489283 (pbk.)".
- 2006935874 identifier 2006935874-d.html.
- 2006935874 identifier 2006935874.html.
- 2006935874 isPartOf "Lecture notes in computer science 0302-9743 ; 4313".
- 2006935874 issued "2006".
- 2006935874 issued "c2006.".
- 2006935874 language "eng".
- 2006935874 publisher "Berlin ; New York : Springer,".
- 2006935874 subject "Formal methods (Computer science) Congresses.".
- 2006935874 subject "QA76.9.F67 I78 2004".
- 2006935874 title "ISoLA 2004".
- 2006935874 title "Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers / Tiziana Margaria, Bernhard Steffen (eds.).".
- 2006935874 type "text".