Strukturierte objektorientierte formale Sprache und Methode: 10. Internationale Wo...
71,12 €
They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification. Due to the Corona pandemic this event was held virtually.
Jetzt bei Ebay: