Theoretical Computer Science and General Issues

Theoretical Aspects of Computing - ICTAC 2008

5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings

Editors: Fitzgerald, John, Haxthausen, Anne E., Yenigun, Husnu (Eds.)

Buy this book

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

This book constitutes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008.

The 27 revised full papers were carefully reviewed and selected from over 70 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.

Table of contents (30 chapters)

  • Using Design Patterns in Formal Methods: An Event-B Approach

    Abrial, J. -R. (et al.)

    Pages 1-2

  • A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules

    Peleska, Jan

    Pages 3-22

  • The Three Platonic Models of Divergence-Strict CSP

    Roscoe, A. W.

    Pages 23-49

  • Monotonic Abstraction in Action

    Abdulla, Parosh Aziz (et al.)

    Pages 50-65

  • Non-interleaving Semantics with Causality for Nondeterministic Dataflow

    Agrigoroaiei, Oana (et al.)

    Pages 66-80

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theoretical Aspects of Computing - ICTAC 2008
Book Subtitle
5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
Editors
  • John Fitzgerald
  • Anne E. Haxthausen
  • Husnu Yenigun
Series Title
Theoretical Computer Science and General Issues
Series Volume
5160
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-85762-4
DOI
10.1007/978-3-540-85762-4
Softcover ISBN
978-3-540-85761-7
Edition Number
1
Number of Pages
XI, 455
Topics