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

Priser från
557,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
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
557,00 kr
Til butik
Amazon Marketplace Logga
557,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

Priser uppdaterades senast:

Springer

Concise Guide to Software Verification: From Model Checking Annotation

1.085,98 kr
Mer information Mer info

Majosta

The Tips for Teachers guide to Checking Understanding

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

Cengage Learning

A Concise Introduction to Logic

1.161,35 kr
Jämför 2 butiker 2 Butiker

SAGE Publications

A Concise Introduction to Existential Counselling

419,22 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
557,00 kr
Til butik