01219nam a22002057a 4500 NCT_4_029361 251128b xxu||||| |||| 00| 0 vie d 9472 9472 9780321143068 $44.99 23rd ed. 005.12 L237 Lamport, Leslie Specifying systems : The TLA+ language and tools for hardware and software engineers Leslie Lamport Boston Addison-Wesley 2003 xvii, 364 p. 24 cm Includes bibliographical references and index This book presents a rigorous introduction to formal specification using the Temporal Logic of Actions (TLA+). It explains how to model, reason about, and verify complex concurrent and distributed systems. The author emphasizes practical methods for preventing design errors before implementation. Through clear examples, the book shows how formal specifications improve system reliability and correctness. Công nghệ thông tin ddc BK 0 0 ddc 0 005_120000000000000_L237 0 31625 000001 000001 2025-11-28 005.12 L237 MD.24571 2025-11-28 44.99 2025-11-28 BK Thư viện Trường Đại học Nam Cần Thơ