ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 2005-2009  (1)
Collection
Keywords
Years
Year
  • 1
    facet.materialart.
    Unknown
    TLA+: Whence, Wherefore, and Whither (2009)
    In:  CASI
    Details
    Publication Date: 2018-06-06
    Description: The evolution of my ideas on specification and verification, and how they led to the TLA+ specification language. What is good and bad about TLA+. A brief description of the next version of TLA+ and its tools. E.
    Keywords: Mathematical and Computer Sciences (General)
    Type: Proceedings of the First NASA Formal Methods Symposium; 3; NASA/CP-2009-215407
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...