Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Logics in Computer Science
- A Study on Extensions of Temporal and Strategic Logics
Engelsk
Bogcover for Logics in Computer Science af Fabio Mogavero, 9789462390560
Specifikationer
Sprog:
Engelsk
Sider:
149
ISBN-13:
9789462390560
Indbinding:
Paperback
ISBN-10:
9462390568
Udg. Dato:
9 aug 2015
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
9 aug 2015
Forfatter(e):

Logics in Computer Science

- A Study on Extensions of Temporal and Strategic Logics
Engelsk
Paperback 2015
Format:

Bog beskrivelse
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.
... Vis mere

Forlags Vejl. pris
9.321,40 kr
Hos Booktok
409 kr
spar 96%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
149
ISBN-13:
9789462390560
Indbinding:
Paperback
ISBN-10:
9462390568
Udg. Dato:
9 aug 2015
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
9 aug 2015
Forfatter(e):
Finder produkter...
Kategori sammenhænge