Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Zhe Hou

ISBN 10: 3030878813 ISBN 13: 9783030878818
Editorial: Springer, 2021
Nuevos Encuadernación de tapa dura

Librería: Basi6 International, Irving, TX, Estados Unidos de America Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 24 de junio de 2016

Este artículo en concreto ya no está disponible.
Ver los artículos de este vendedor Crear una petición para artículos similares

Descripción

Descripción:

New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de ref. del artículo ABEJUNE24-260700

Denunciar este artículo

Sinopsis:


This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity. The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for a high-level undergraduate course or a Master's course. The hybrid skill set of practical theorem proving and model checking should be helpful for the future of readers should they pursue a research career or engineering in formal methods.

Acerca del autor: Zhe Hou is a lecturer in the School of Information and Communication Technology at Griffith University, Nathan, Australia.  His research pursuits include explainable AI, autonomous systems, formal verification, and automated reasoning.

"Sobre este título" puede pertenecer a otra edición de este libro.

Detalles bibliográficos

Título: Fundamentals of Logic and Computation: With ...
Editorial: Springer
Año de publicación: 2021
Encuadernación: Encuadernación de tapa dura
Condición: Brand New

Los mejores resultados en AbeBooks

Imagen del vendedor

Hou, Zhe
Publicado por Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
Antiguo o usado Tapa dura

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 44056631

Contactar al vendedor

Comprar usado

EUR 36,05
EUR 2,25 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Hou, Zhe
Publicado por Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
Antiguo o usado Tapa dura

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 44056631

Contactar al vendedor

Comprar usado

EUR 38,23
EUR 17,12 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Hou, Zhe
Publicado por Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
Nuevo Tapa dura

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 44056631-n

Contactar al vendedor

Comprar nuevo

EUR 40,20
EUR 17,12 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Zhe Hou
ISBN 10: 3030878813 ISBN 13: 9783030878818
Nuevo Tapa dura

Librería: Rarewaves.com UK, London, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardback. Condición: New. 2021 ed. Nº de ref. del artículo: LU-9783030878818

Contactar al vendedor

Comprar nuevo

EUR 40,21
EUR 74,20 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Hou, Zhe
Publicado por Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
Nuevo Tapa dura

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 44056631-n

Contactar al vendedor

Comprar nuevo

EUR 43,39
EUR 2,25 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Zhe Hou
ISBN 10: 3030878813 ISBN 13: 9783030878818
Nuevo Tapa dura

Librería: Rarewaves.com USA, London, LONDO, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardback. Condición: New. 2021 ed. Nº de ref. del artículo: LU-9783030878818

Contactar al vendedor

Comprar nuevo

EUR 45,72
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Hou Zhe
Publicado por Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
Nuevo Tapa dura

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 389407817

Contactar al vendedor

Comprar nuevo

EUR 51,92
EUR 7,42 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Zhe Hou
Publicado por Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
Nuevo Tapa dura

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 26390224790

Contactar al vendedor

Comprar nuevo

EUR 52,47
EUR 3,40 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Hou Zhe
Publicado por Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
Nuevo Tapa dura

Librería: Biblios, Frankfurt am main, HESSE, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 18390224796

Contactar al vendedor

Comprar nuevo

EUR 53,58
EUR 9,95 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Hou, Zhe
ISBN 10: 3030878813 ISBN 13: 9783030878818
Nuevo Tapa dura
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics This book is written f. Nº de ref. del artículo: 498716724

Contactar al vendedor

Comprar nuevo

EUR 55,78
EUR 48,99 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 14 copia(s) de este libro

Ver todos los resultados de su búsqueda