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

1/1
Afbeelding van Concise Introduction to Alternating Time Temporal Logics: A Guide for Understanding the Model Checking Problem
Bol
Prijzen vanaf
46,99

Uitgelicht

VERGELIJK ALLE AANBIEDERS (3)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Related Products Gerelateerde producten
?>
Next
Previous

Vergelijk aanbieders (3)

Shop
Prijs
Verzendkosten
Totale prijs
Bol Logo
46,99
Gratis
46,99
Naar shop
Gratis Shipping Costs
Amazon Logo
52,95
Gratis
52,95
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
52,95
Gratis
52,95
Naar shop
Gratis Shipping Costs
Beschrijving (0)

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

Productspecificaties

Merk Birkhauser
EAN
  • 9783032118844
Maat

Prijzen voor het laatst bijgewerkt op:

Springer

Concise Guide to Software Verification: From Model Checking Annotation

63,99
Vergelijk 3 shops 3 shops

Majosta

The Tips for Teachers guide to Checking Understanding

9,98
Vergelijk 2 shops 2 shops

A Concise Guide to Understanding Suicide

19,50
Meer informatie Meer info

A Concise Guide to Understanding Music

8,25
Meer informatie Meer info
Uitgelichte Keuze
46,99
Naar shop