Verification, model checking, and abstract interpretationE. Allen Emerson12,99 €2 copias en stockAñadir al carrito
New trends in parallel & distributed computingFriedhelm Meyer auf der Heide4,79 €Última copiaAñadir al carrito
Formal methods and stochastic models for performance evaluationAndrás Horváth4,79 €Última copiaAñadir al carrito
Grundlegende Aspekte der Informationsverarbeitung in natürlichen und künstlichen SystemenRalf Sommer2,45 €Última copiaAñadir al carrito
Softwareentwicklung für AVR-MikrocontrollerManfred Schwabl Schmidt2,45 €Última copiaAñadir al carrito
Formal methods and stochastic models for performance evaluationKatinka Wolter10,32 €Última copiaAñadir al carrito
Second Life-Programmierung mit Linden Scripting LanguageAutores varios11,99 €Última copiaAñadir al carrito
