Publication

1985 - Springer-Verlag, Berlin

Language

English

Word Count

28,500 words, Guess

Page Count

114 pages

Identifiers

  • ISBN-100387152393
  • ISBN-139780387152394
  • Goodreads4006424
  • Open LibraryOL22270361M

Classifications

  • DDC001.64
  • LCCQA76.5

Subjects

Series Statement

  • Lecture notes in computer science -- 191

Other Editions

  • A survey ofverification techniques for parallel programsSpringer-Verlag1985-01-01

Similar Books

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!