Matches in Library of Congress for { <http://lccn.loc.gov/2009935818> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2009935818 contributor B11730734.
- 2009935818 contributor B11730735.
- 2009935818 created "c2009.".
- 2009935818 date "2009".
- 2009935818 date "c2009.".
- 2009935818 dateCopyrighted "c2009.".
- 2009935818 description "Includes bibliographical references and index.".
- 2009935818 extent "vii, 175 p. :".
- 2009935818 identifier "3642049117".
- 2009935818 identifier "9783642049118".
- 2009935818 identifier F?func=service&doc_library=BVB01&doc_number=018676933&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
- 2009935818 identifier 04.
- 2009935818 identifier 2009935818-d.html.
- 2009935818 isPartOf "Lecture notes in computer science ; 5846".
- 2009935818 isPartOf "Lecture notes in computer science ; 5846.".
- 2009935818 issued "2009".
- 2009935818 issued "c2009.".
- 2009935818 language "eng".
- 2009935818 publisher "Berlin : Springer,".
- 2009935818 subject "004n/a".
- 2009935818 subject "Computer software Development Study and teaching Congresses.".
- 2009935818 subject "Formal methods (Computer science) Study and teaching Congresses.".
- 2009935818 subject "Formale Methode. swd".
- 2009935818 subject "Informatikstudium. swd".
- 2009935818 subject "QA76.9.F67 T46 2009".
- 2009935818 title "Teaching formal methods : second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / Jeremy Gibbons. José Nuno Oliveira, (eds.).".
- 2009935818 type "Eindhoven (2009) swd".
- 2009935818 type "Kongress. swd".
- 2009935818 type "text".