Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - Livros - Springer International Publishing AG - 9783031249365 - 13 de abril de 2024
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
€ 54,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 4 - 12 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível 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;

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 13 de abril de 2024
ISBN13 9783031249365
Editoras Springer International Publishing AG
Páginas 271
Dimensões 150 × 220 × 10 mm   ·   435 g
Idioma Alemão  
Mostrar tudo

Mais por Wolfgang Schreiner

Ver tudo de Wolfgang Schreiner ( por exemplo Paperback Book , Hardcover Book e Book )