LIBROS DEL AUTOR: jost pieter katoen

1 resultados para LIBROS DEL AUTOR: jost pieter katoen

jost pieter katoen Eliminar filtro Quitar filtros
  • Formal Methods for Real-Time and Probabilistic Systems
    Jost-Pieter Katoen
    TheaimoftheARTS’99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation,veri cation,analysisandconstructiontechniquesforreal-timeandpro- bilisticsystems. BeingaworkshopundertheumbrellaoftheAMASTmovement (Algebr...
    Disponible

    65,89 €