Modeling and Verification of Real-time Systems: Formalisms and Software Tools (Bog, Hardback, Engelsk) af N Navet
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Systemanalyse og systemdesign
  5. Modeling and Verification of Real-time Systems: Formalisms and...

Modeling and Verification of Real-time Systems: Formalisms and Software Tools

(Bog, Hardback, Engelsk)
Forfatter: N Navet
Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Forlag: ISTE Ltd and John Wiley & Sons Inc

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Systemanalyse og systemdesign
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.

Læsernes anmeldelser (0)

Alle detaljer

Forlag ISTE Ltd and John Wiley & Sons Inc
Forfatter N Navet
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 10-03-2008
Første udgivelsesår 2008
Fagredaktør Nicolas (Real-Time Systems at INRIA Lorraine (Nancy Navet, Stephan (INRIA Lorraine (Nancy Merz
Originalsprog United Kingdom
Sideantal 448
Indbinding Hardback
Forlag ISTE Ltd and John Wiley & Sons Inc
Sideoplysninger 448 pages
Mål 241 x 160 x 28
ISBN-13 / EAN-13 9781848210134