Concise Introduction to Alternating Time Temporal Logics: A Guide for Understanding the Model Checking Problem (Computer Science Foundations and Applied Logic)

Precios a partir de
51,99

Destacado

COMPARAR TODAS LAS TIENDAS WEB (1)

Descripción

Amazon Páginas: 212, Tapa dura, Springer-Verlag GmbH
Description Descripción
Product Specifications Especificaciones del producto
Resultados relacionados Resultados relacionados
Next
Previous

Comparar tiendas web (1)

Shop
Precio
Amazon Logo
51,99 €
Ver oferta
Descripción (1)

Páginas: 212, Tapa dura, Springer-Verlag GmbH

Especificaciones del producto

Marca Birkhauser
EAN
  • 9783032118844

Birkhauser

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science...

145,59 €
Más información Más info

Birkhauser

Multi valued Logic for Decision Making Under Uncertainty (Computer Science Foundations and Applied Logic)

145,59 €
Más información Más info

Birkhauser

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...

62,39 €
Más información Más info

Birkhauser

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...

62,39 €
Más información Más info
Elección Destacada
51,99 €
Ver oferta