Coverart for item
The Resource Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 : proceedings, Luca de Alfaro (ed.), (electronic resource)

Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 : proceedings, Luca de Alfaro (ed.), (electronic resource)

Label
Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 : proceedings
Title
Foundations of software science and computational structures
Title remainder
12th international conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 : proceedings
Statement of responsibility
Luca de Alfaro (ed.)
Title variation
  • FOSSACS 2009
  • Joint European Conferences on Theory and Practice of Software
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
CaPaEBR
LC call number
QA76.751
LC item number
.F67 2009eb
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
FOSSACS 2009
http://library.link/vocab/relatedWorkOrContributorDate
1966-
http://library.link/vocab/relatedWorkOrContributorName
  • De Alfaro, Luca
  • ebrary, Inc
Series statement
Lecture notes in computer science
Series volume
5504
http://library.link/vocab/subjectName
  • System analysis
  • Computer systems
Summary expansion
This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics
Label
Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 : proceedings, Luca de Alfaro (ed.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000317777
Dimensions
unknown
Isbn
9783642005954
Specific material designation
remote
System control number
(WaSeSS)bookssj0000317777
Label
Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 : proceedings, Luca de Alfaro (ed.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000317777
Dimensions
unknown
Isbn
9783642005954
Specific material designation
remote
System control number
(WaSeSS)bookssj0000317777

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...