Ausverkauft, aber heiß begehrt!
Liegt es in deinem Regal?Verdiene zwischen 24,61 € und 30,53 € beim Verkauf dieses Buches.
Bücher verkaufenMehr zum Buch
Focusing on the foundations of logic, this book introduces various logical frameworks essential for modeling, specifying, and verifying computer systems. It offers a comprehensive understanding of logical principles that underpin computer science, making it a valuable resource for those interested in the intersection of logic and technology. Through clear explanations and examples, readers will gain the tools needed to apply logical reasoning in the context of system design and verification.
Buchkauf
Logic in Computer Science 2ed, Mark Ryan, Michael Huth
- Sprache
- Erscheinungsdatum
- 2019
- Einband
- (Paperback)
Wir benachrichtigen dich per E-Mail.
4,0
Sehr gut
68 Bewertung
Hier könnte deine Bewertung stehen.
- Titel
- Logic in Computer Science 2ed
- Sprache
- Englisch
- Autor*innen
- Mark Ryan, Michael Huth
- Erscheinungsdatum
- 2019
- Einband
- Paperback
- Seitenzahl
- 442
- ISBN13
- 9780521543101
- Reihe
- Schlagwörter
- Handbücher und Anleitungen, Mathematik-Lehrbücher, Logik
- Bewertung
- 3,95 von 5 Sternen
- Beschreibung
- Focusing on the foundations of logic, this book introduces various logical frameworks essential for modeling, specifying, and verifying computer systems. It offers a comprehensive understanding of logical principles that underpin computer science, making it a valuable resource for those interested in the intersection of logic and technology. Through clear explanations and examples, readers will gain the tools needed to apply logical reasoning in the context of system design and verification.