¡Agotado, pero muy deseado!
¿Lo tienes en tu biblioteca?Gana entre 29,70 € y 37,08 € vendiendo este libro.
Vende librosParámetros
- 442 páginas
- 16 horas de lectura
Más información sobre el libro
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.
Compra de libros
Logic in Computer Science 2ed, Mark Ryan, Michael Huth
- Idioma
- Publicado en
- 2019
- Encuadernación
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
4,0
Muy bueno
68 Valoraciones
Nos falta tu reseña aquí
- Título
- Logic in Computer Science 2ed
- Idioma
- Inglés
- Autores
- Mark Ryan, Michael Huth
- Editorial
- Cambridge University Press
- Publicado en
- 2019
- Formato
- Tapa blanda
- Páginas
- 442
- ISBN13
- 9780521543101
- Serie
- Etiquetas
- Guías y Manuales, Libros de texto de matemáticas, Lógica
- Calificación
- 3,95 de 5
- Descripción
- 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.