Specifying Systems : the tla+ language and tools for hardware and software engineers Leslie Lamport

By:

Language: English Publication details: Boston, Addison-wesley 2003Description: xvii; 364 p. 24 cmISBN:

Subject(s):

DDC classification:

Summary: TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Barcode
Reference	Anna Centenary Library 3RD FLOOR, A WING	004.21 LAM (Browse shelf(Opens below))	Not for loan	212696

Includes index

TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.

There are no comments on this title.

to post a comment.

Find us on the map