Mechanical Verification of Parameterized Real-Time Systems door Thomas Göthel
Nu kopen!

Boek

Mechanical Verification of Parameterized Real-Time Systems

A Formal Framework and its Application to a Real-Time Operating System Scheduler « 

Score:
 
 
 
 
 
 (3/0)

Aantal recensies:
0 
Aantal keer getipt:
0 
Aantal keer gelezen:
0 
Auteur(s):
,   
Categorie:
 
ISBN
9783838134604

 
Deel via E-mail 
Deel op Twitter 



 
Informatie
 
 
 
Recensies
 
 
 
Prikbord
 
 
 
Vergelijkbaar
 
 
Lezers
 
 

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Meedoen

Tippers

Lezers

 

Niemand