175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Information Systems and Applications, incl. Internet/Web, and HCI

Perspectives of Systems Informatics

8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

Editors: Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei (Eds.)

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results
see more benefits

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-29709-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-29708-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering.

Table of contents (33 chapters)

  • Petri Net Distributability

    Best, Eike (et al.)

    Pages 1-18

  • Connector Algebras, Petri Nets, and BIP

    Bruni, Roberto (et al.)

    Pages 19-38

  • Models of Provenance

    Buneman, Peter

    Pages 39-39

  • End-to-End Guarantees in Embedded Control Systems

    Majumdar, Rupak

    Pages 40-40

  • Mining Precise Specifications

    Zeller, Andreas

    Pages 41-41

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-29709-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-29708-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Perspectives of Systems Informatics
Book Subtitle
8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
Editors
  • Edmund Clarke
  • Irina Virbitskaite
  • Andrei Voronkov
Series Title
Information Systems and Applications, incl. Internet/Web, and HCI
Series Volume
7162
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-29709-0
DOI
10.1007/978-3-642-29709-0
Softcover ISBN
978-3-642-29708-3
Edition Number
1
Number of Pages
XIV, 411
Number of Illustrations and Tables
130 b/w illustrations
Topics