rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Programming Languages with Applications to Biology and Security
    sub title: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
  name:
    name part: Bodei, Chiara.
    role:
      role term: editor.
  name:
    name part: Ferrari, Gianluigi.
    role:
      role term: editor.
  name:
    name part: Priami, Corrado.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2015
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XII, 375 p. 77 illus. in color. online resource.
  abstract: Programming Languages with Applications to Biology and Security This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security. The volume contains 22 refereed papers and one extended abstract, including personal memoirs and regular research papers by close collaborators and friends and a laudatio illustrating his distinguished career and his main scientific contributions. The papers deal with the main research topics explored by Pierpaolo Degano and those still under his investigation. .
  note: edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami.
  subject:
    topic: Computer science
  subject:
    topic: Computer communication systems
  subject:
    topic: Computer programming
  subject:
    topic: Software engineering
  subject:
    topic: Algorithms
  subject:
    topic: Computer logic
  subject:
    topic: Computer Science
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Software Engineering
  subject:
    topic: Information Systems Applications (incl. Internet)
  subject:
    topic: Computer Communication Networks
  subject:
    topic: Programming Techniques
  subject:
    topic: Algorithm Analysis and Problem Complexity
  classification: QA76.9.L63
  classification: QA76.5913
  classification: QA76.63
  classification: 005.1015113
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 9465
  identifier: 9783319255279
  identifier: http://dx.doi.org/10.1007/978-3-319-25527-9
  record info:
    record creation date: 151007
    record change date: 20161206112703.0
    record identifier: 978-3-319-25527-9