Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - Libros - Springer International Publishing AG - 9783031249334 - 12 de abril de 2023
En caso de que portada y título no coincidan, el título será el correcto

Wolfgang Schreiner
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation 2023 edition

Precio
€ 70,99

Pedido desde almacén remoto

Entrega prevista 8 - 16 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software. The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;

270 pages, 53 Illustrations, color; 26 Illustrations, black and white; XII, 270 p. 79 illus., 53 ill

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 12 de abril de 2023
ISBN13 9783031249334
Editores Springer International Publishing AG
Páginas 271
Dimensiones 165 × 241 × 22 mm   ·   580 g
Lengua Inglés  

Mas por Wolfgang Schreiner

Mostrar todo

Ver todo de Wolfgang Schreiner ( Ej. Paperback Book , Hardcover Book y Book )