Name: Logics in Computer Science
Price: 454.95 DKK
Availability: InStock
Author: Fabio Mogavero
ISBN: 9789462390560

Logics in Computer Science af Fabio Mogavero

Du sparer 0% ift. normalprisen Spar 0%

Bag om Logics in Computer Science

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

Sprog:
Engelsk

ISBN:
9789462390560

Forlag:
Atlantis Press (Zeger Karssen)

Indbinding:
Paperback

Sideantal:
149

Udgivet:
9. August 2015

Udgave:
12013

Størrelse:
155x235x0 mm.

Vægt:
2642 g.

Leveringstid: 2-3 uger.
Forventet levering: 22. Maj 2024

På lager

Normalpris

454,95 kr. + Fragt
~~454,95 kr.~~

Medlemspris

406,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Fabio Mogavero

Vis alle bøger af Fabio Mogavero

Beskrivelse af Logics in Computer Science

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.

Brugerbedømmelser af Logics in Computer Science

Andre købte også..

Find lignende bøger

Bogen Logics in Computer Science findes i følgende kategorier:

Business og læring > Computer og IT

Logics in Computer Science - Fabio Mogavero - Bog

Bag om Fabio Mogavero

Beskrivelse af Logics in Computer Science

Brugerbedømmelser af Logics in Computer Science

Gør som tusindvis af andre bogelskere