Read While You Wait - Get immediate ebook access, if available*, when you order a print book

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.)

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

Buy this book

eBook $64.99
price for USA in USD
  • 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 $84.99
price for USA in USD
  • ISBN 978-3-642-29708-3
  • Free shipping for individuals worldwide. COVID-19 shipping restrictions apply.
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be 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)

Table of contents (33 chapters)

Buy this book

eBook $64.99
price for USA in USD
  • 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 $84.99
price for USA in USD
  • ISBN 978-3-642-29708-3
  • Free shipping for individuals worldwide. COVID-19 shipping restrictions apply.
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be 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
130 b/w illustrations
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.