Skip to main content

Time for Verification

Essays in Memory of Amir Pnueli

  • Book
  • © 2010


Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6200)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 99.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions


Table of contents (15 chapters)

Editors and Affiliations

  • Computer Science Department, Stanford University, Stanford, USA

    Zohar Manna

  • Department of Computer Science, Bar Ilan University, Ramat Gan, Israel

    Doron A. Peled

Bibliographic Information

Publish with us