[ACM Press the sixteenth annual ACM symposium - Not Known...

  • Main
  • [ACM Press the sixteenth annual ACM...

[ACM Press the sixteenth annual ACM symposium - Not Known (1984..-..)] Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 - Now you may compose temporal logic specifications

Barringer, Howard, Kuiper, Ruurd, Pnueli, Amir
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
1984
Language:
english
DOI:
10.1145/800057.808665
File:
PDF, 1.04 MB
english, 1984
Conversion to is in progress
Conversion to is failed