Matches in Library of Congress for { <http://lccn.loc.gov/2009930949> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- 2009930949 contributor B11727553.
- 2009930949 contributor B11727554.
- 2009930949 created "c2009.".
- 2009930949 date "2009".
- 2009930949 date "c2009.".
- 2009930949 dateCopyrighted "c2009.".
- 2009930949 description "Includes bibliographical references and index.".
- 2009930949 extent "vi, 300 p. :".
- 2009930949 identifier "3642031528 (pbk.)".
- 2009930949 identifier "9783642031526 (pbk.)".
- 2009930949 identifier F?func=service&doc_library=BVB01&doc_number=017695235&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
- 2009930949 identifier 04.
- 2009930949 isPartOf "Lecture notes in computer science ; 5520.".
- 2009930949 isPartOf "Lecture notes in computer science, 0302-9743 ; 5520 Tutorial".
- 2009930949 isPartOf "Lecture notes in computer science. Tutorial.".
- 2009930949 issued "2009".
- 2009930949 issued "c2009.".
- 2009930949 language "eng".
- 2009930949 publisher "Berlin ; New York : Springer,".
- 2009930949 spatial "Piriapolis <2008>".
- 2009930949 subject "Computer software Development Congresses.".
- 2009930949 subject "Formal methods (Computer science) Congresses.".
- 2009930949 subject "Formale Methode. swd".
- 2009930949 subject "Programmiersprache Typentheorie Formale Methode Kongress Piriapolis <2008>".
- 2009930949 subject "Programmiersprache. swd".
- 2009930949 subject "Programming languages (Electronic computers) Congresses.".
- 2009930949 subject "QA76.76.D47 L475 2008".
- 2009930949 subject "Softwareentwicklung Formale Methode Kongress Piriapolis <2008>".
- 2009930949 subject "Softwareentwicklung. swd".
- 2009930949 subject "Type theory Congresses.".
- 2009930949 subject "Typentheorie. swd".
- 2009930949 title "Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures / Ana Bove ... [et al.] (eds.).".
- 2009930949 type "Kongress. swd".
- 2009930949 type "Piriapolis (2008) swd".
- 2009930949 type "text".