Coverart for item
The Resource Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings, Sophia Drossopoulou (ed.), (electronic book)

Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings, Sophia Drossopoulou (ed.), (electronic book)

Label
Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
Title
Programming languages and systems
Title remainder
17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
Statement of responsibility
Sophia Drossopoulou (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 17th European Symposium on Programming, ESOP 2008, held in Budapest, Hungary, in March/April 2008, as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 25 revised full papers presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and selected from 104 submissions and address fundamental issues in the specification, analysis, and implementation of programming languages and sytems. The papers are organized in topical sections on static analysis, security, concurrency and program verification
Member of
Cataloging source
GW5XE
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.6
LC item number
.E976 2008eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
European Symposium on Programming
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
2008
http://library.link/vocab/relatedWorkOrContributorName
  • Drossopoulou, Sophia
  • ETAPS (Conference)
Series statement
  • Lecture notes in computer science
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
4960
http://library.link/vocab/subjectName
  • Computer programming
  • Programming languages (Electronic computers)
Label
Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings, Sophia Drossopoulou (ed.), (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
SPR233974010
Dimensions
unknown
Extent
1 online resource (xiii, 397 p.)
Form of item
online
Isbn
9783540787396
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
ill.
Specific material designation
remote
Label
Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings, Sophia Drossopoulou (ed.), (electronic book)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
SPR233974010
Dimensions
unknown
Extent
1 online resource (xiii, 397 p.)
Form of item
online
Isbn
9783540787396
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...