Concise Introduction to Alternating Time Temporal Logics: A Guide for Understanding the Model Checking Problem

Priser från
765,00

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem
Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
765,00 kr
Til butik
Amazon Marketplace Logga
765,00 kr
Til butik
Beskrivning (1)

Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem

Produktspecifikationer

Märke Birkhauser
EAN
  • 9783032118844

Majosta

The Tips for Teachers guide to Checking Understanding

107,37 kr
Jämför 2 butiker 2 Butiker

Chapman and Hall/CRC

A Concise Introduction to Functional Analysis

1.404,72 kr
Jämför 2 butiker 2 Butiker

Snow Lion

A Concise Introduction to Tibetan Buddhism

163,84 kr
Jämför 2 butiker 2 Butiker

CREATESPACE

A Concise Introduction To Bayes' Theorem

64,66 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
765,00 kr
Til butik