Matches in Library of Congress for { <http://lccn.loc.gov/2010928129> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- 2010928129 contributor B12089763.
- 2010928129 contributor B12089764.
- 2010928129 coverage "Bertinoro <2010> swd".
- 2010928129 created "c2010.".
- 2010928129 date "2010".
- 2010928129 date "c2010.".
- 2010928129 dateCopyrighted "c2010.".
- 2010928129 description "Includes bibliographical references and index.".
- 2010928129 extent "167 p. :".
- 2010928129 hasFormat "Also issued online.".
- 2010928129 identifier "364213677X (pbk. : alk. paper)".
- 2010928129 identifier "9783642136771 (pbk. : alk. paper)".
- 2010928129 isFormatOf "Also issued online.".
- 2010928129 isPartOf "LNCS sublibrary: SL 2-programming and software engineering".
- 2010928129 isPartOf "Lecture notes in computer science ; 6154".
- 2010928129 isPartOf "Tutorial".
- 2010928129 issued "2010".
- 2010928129 issued "c2010.".
- 2010928129 language "eng".
- 2010928129 publisher "Berlin ; New York : Springer,".
- 2010928129 relation "Also issued online.".
- 2010928129 spatial "Bertinoro <2010> swd".
- 2010928129 subject "005.131 22/ger".
- 2010928129 subject "Formal methods (Computer science) Congresses.".
- 2010928129 subject "Formale Methode. swd".
- 2010928129 subject "Programmanalyse. swd".
- 2010928129 subject "Programmiersprache. swd".
- 2010928129 subject "Programming languages (Electronic computers) Congresses.".
- 2010928129 subject "QA76.9.F67 I586 2010".
- 2010928129 title "Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / Alessandro Aldini ... [et al.] (eds.).".
- 2010928129 type "text".