Specifying systems [electronic resource] : the TLA+ language and tools for hardware and software engineers / Leslie Lamport.

By: Contributor(s): c2003Description: xvi, 364 p. ; 24 cmSubject(s): Genre/Form: Additional physical formats: No titleDDC classification:
  • 004.2/1 21
LOC classification:
  • QA76.9.S88 L35 2003
Online resources: Available additional physical forms:
  • Available also in a print edition.
Item type: eBooks
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Available also in a print edition.

Electronic reproduction. Boston, MA : Safari, 2003. Available via World Wide Web.

Mode of access: World Wide Web.

Made available through: Safari Books Online, LLC.

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu