Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Logics In Computer Science

A Study On Extensions Of Temporal And Strategic Logics

Logics In Computer Science - Mogavero, Fabio - ISBN: 9789491216947
Prijs: € 97,44
Levertijd: 4 tot 6 werkdagen
Bindwijze: Boek, Gebonden
Genre: Systeemanalyse en -theorie
Boekenliefde.nl:
Logics In Computer Science op boekenliefde.nl
Add to cart

Beschrijving

In This Monograph We Introduce And Examine Four New Temporal Logic Formalisms That Can Be Used As Specification Languages For The Automated Verification Of The Reliability Of Hardware And Software Designs With Respect To A Desired Behavior.

Details

Titel: Logics In Computer Science
auteur: Mogavero, Fabio
Mediatype: Boek
Bindwijze: Gebonden
Taal: Engels
Aantal pagina's: 149
Uitgever: Atlantis Press (Zeger Karssen)
Plaats van publicatie: 04
NUR: Systeemanalyse en -theorie
Afmetingen: 241 x 163 x 15
Gewicht: 400 gr
ISBN/ISBN13: 9789491216947
Intern nummer: 24253258

Winkelvoorraad

Dit product is op dit moment niet op voorraad in een van onze vestigingen.