1 Artikel | Alle Löschen

 

Temporal Verification of Reactive Systems

0: Preliminary Concepts.- 0.1 Fair Transition System.- 0.2 A Programming Language (SPL): Syntax.- 0.3 A Programming Language (SPL):...

Jetzt  CHF 153.00

Keine Preisänderung

mehr Informationen

Löschen