Theoretical Computer Science and General Issues

Time for Verification

Essays in Memory of Amir Pnueli

Editors: Manna, Zohar, Peled, Doron (Eds.)

Free Preview
  • Contains 15 scientific articles written by leading scientists
  • Coverage spans the entire breadth of the scientific work of Amir Pnueli, with a focus on the development and the application of formal methods
  • Includes the first chapter of the unpublished Volume III of Zohar Manna and Amir Pnueli’s work on the verification of reactive systems using temporal logic techniques
see more benefits

Buy this book

eBook $99.00
price for USA in USD
  • ISBN 978-3-642-13754-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available

Table of contents (15 chapters)

Table of contents (15 chapters)

Buy this book

eBook $99.00
price for USA in USD
  • ISBN 978-3-642-13754-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Time for Verification
Book Subtitle
Essays in Memory of Amir Pnueli
Editors
  • Zohar Manna
  • Doron Peled
Series Title
Theoretical Computer Science and General Issues
Series Volume
6200
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-13754-9
DOI
10.1007/978-3-642-13754-9
Edition Number
1
Number of Pages
VIII, 413
Number of Illustrations
113 b/w illustrations
Topics