Tempo logico * Lavoro per la modellazione e l'analisi dei sistemi embedded Buch
34,95 €
Il Clock Constraint Specification Language (CCSL) è un linguaggio concreto dedicato alla modellazione e all'analisi delle proprietà del tempo logico. Ora è diventato un vero e proprio linguaggio di modellazione specifico del dominio per l'acquisizione di relazioni causali, cronologiche e temporali.
Jetzt bei Ebay:
