Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International

Ø 0.0
0 Bewertungen
121,46 €

Duration specifications for shared processors. - Multicycles and RTL logic satisfiability. - Observing task preemption in Ada 9X. - On fault-tolerant symbolic computations. - Protocol design by layered decomposition.

Jetzt bei Ebay: