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

Priser från
563,00

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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
563,00 kr
Til butik
Amazon Marketplace Logga
563,00 kr
Til butik
Beskrivning (0)

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

Produktspecifikationer

EAN
  • 9783032118844

Independently Published

The Tips for Teachers guide to Checking Understanding

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

Routledge

What Are They Thinking? The Ultimate Guide to Checking for Understanding

2.371,64 kr
Jämför 2 butiker 2 Butiker

Routledge

What Are They Thinking? The Ultimate Guide to Checking for Understanding

275,65 kr
Jämför 2 butiker 2 Butiker

OmniScriptum

Uclid: Model checking, Boolean algebra, Decision problem

539,25 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
563,00 kr
Til butik