Theoretical Computer Science and General Issues Lect.Notes ComputerFestschrift

Pillars of Computer Science

Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Editors: Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander (Eds.)

Free Preview

Buy this book

eBook 95,19 €
price for Spain (gross)
  • ISBN 978-3-540-78127-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 119,59 €
price for Spain (gross)
  • ISBN 978-3-540-78126-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Reviews

From the reviews:

"This festschrift is dedicated to Boris Trakhtenbrot on the occasion of his 85th birthday. … The volume covers a wide variety of papers on logic and the foundations of theoretical computer science, written by top people in the field. It is certainly worth acquiring for a library." (K. Lodaya, ACM Computing Reviews, January, 2009)


Table of contents (36 chapters)

  • From Logic to Theoretical Computer Science – An Update

    Trakhtenbrot, Boris A.

    Pages 1-38

    Preview Buy Chapter 30,19 €
  • Reminiscences

    Meyer, Albert R.

    Pages 39-45

    Preview Buy Chapter 30,19 €
  • Boris A. Trakhtenbrot: Academic Genealogy and Publications

    Avron, Arnon (et al.)

    Pages 46-57

    Preview Buy Chapter 30,19 €
  • Symmetric Logic of Proofs

    Artemov, Sergei

    Pages 58-71

    Preview Buy Chapter 30,19 €
  • Synthesis of Monitors for Real-Time Analysis of Reactive Systems

    Auguston, Mikhail (et al.)

    Pages 72-86

    Preview Buy Chapter 30,19 €

Buy this book

eBook 95,19 €
price for Spain (gross)
  • ISBN 978-3-540-78127-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 119,59 €
price for Spain (gross)
  • ISBN 978-3-540-78126-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Pillars of Computer Science
Book Subtitle
Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Editors
  • Arnon Avron
  • Nachum Dershowitz
  • Alexander Rabinovich
Series Title
Theoretical Computer Science and General Issues
Series Volume
4800
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-78127-1
DOI
10.1007/978-3-540-78127-1
Softcover ISBN
978-3-540-78126-4
Edition Number
1
Number of Pages
XXI, 683
Topics