N Navet Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Alle

• 

  PRIS

  2.436,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

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

  Modeling and Verification of Real-time Systems: Formalisms and Software Tools (Bog, Hardback, Engelsk)

  Af: N Navet

  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.

  PRIS

  2.436,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv