Find Similar Books | Similar Books Like Find Similar Books

Books like Specifying systems by Leslie Lamport


First publish date: 2002
Authors: Leslie Lamport
★ ★ ★ ★ ★ 0.0 (0 community ratings)

All books by Leslie Lamport
Specifying systems by Leslie Lamport

How are these books recommended?

The books recommended for Specifying systems by Leslie Lamport are shaped by reader interaction. Votes on how closely books relate, user ratings, and community comments all help refine these recommendations and highlight books readers genuinely find similar in theme, ideas, and overall reading experience.

Have you read any of these books?
Your votes, ratings, and comments help improve recommendations and make it easier for other readers to discover books they’ll enjoy.

Books similar to Specifying systems (4 similar books)

The logic of knowledge bases by 6799501|Hector J. Levesque book cover

📘 The logic of knowledge bases
 by Hector J. Levesque

Hector J. Levesque explores the logical foundations of knowledge bases in this rigorous treatise, detailing how symbolic representations and abstract states of knowledge underpin reasoning in expert systems and knowledge‑based software.

★★★★★★★★★★ 4.3 (6 ratings)
Similar? ✓ Yes 0 ✗ No 0
Books like The logic of knowledge bases
Computability and logic by 8336058|George Boolos book cover

📘 Computability and logic
 by George Boolos


★★★★★★★★★★ 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Books like Computability and logic
Foundations of Logic and Mathematics by 6642334|Yves Nievergelt book cover

📘 Foundations of Logic and Mathematics
 by Yves Nievergelt


★★★★★★★★★★ 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Books like Foundations of Logic and Mathematics
Principles of programming languages by 6630160|Bruce J. MacLennan book cover

📘 Principles of programming languages
 by Bruce J. MacLennan

Essential guide to programming languages, focusing on design, evaluation, and implementation.

★★★★★★★★★★ 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Books like Principles of programming languages

Some Other Similar Books

The Art of Computer Programming by Donald E. Knuth
Distributed Systems: Concepts and Design by George Coulouris, Jean Dollimore, Tim Kindberg
Formal Methods: An Introduction by Lars Petter Holth
Software Specification Methods by William F. Clocksin
Principles of Model Checking by Cliff B. Jones, Davide Sangiorgi
Model Checking by K. L. McMillan
VLSI Design and Test by Kyle Jia, Subir Kumar Sarkar

Have a similar book in mind? Let others know!

Please login to submit books!