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

Previous								Next
Previous	004.21 HSI Reconfigurable System Design And Verification	004.21 JAI System Analysis And Design Hand Book 1st Edition	004.21 JER System-level Synthesis	004.21 LAM Specifying Systems : the tla+ language and tools for hardware and software engineers	004.21 MUL SystemC : methodologies and applications /	004.21 NIT Enterprise Solution Architecture - Strategy Guide	004.21 NIT;1 Enterprise Solution Architecture - Strategy Guide	Next

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