Ship model | Computer science books

Active Filters
Computer science books
No Starch Press,US (9781593276133 / illustrations) - Dimensions: 236 x 230 x 18 mm - Edition statement: 6th print. - Format: 192 pages - Height: 237 mm - Spine width: 19 mm - Width: 381 mm - No Starch Press
(9781118809990) - Adam Shostack - Paperback - JOHN WILEY (ORIGINAL) - Publication year: 2014
Explore formal logic foundations for computer science, covering propositional and predicate calculus, model checking, temporal logics, and automated reasoning techniques with clear examples and proofs.
🤖 Hello! I'm your virtual assistant. I can help you find products, compare prices and answer questions about your orders. Where should we start?
Chatbot service provided thanks to Gemini 3 / OpenAI using Comparor’s database. The AI may make mistakes — always verify the information.
Comparor AI BETA
Online
Restart the conversation?