ModelEd, TestEd, TrustEd
-15%
portes grátis
ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Rensink, Arend; Langerak, Rom; Katoen, Joost-Pieter
Springer International Publishing AG
09/2017
391
Mole
Inglês
9783319682693
15 a 20 dias
6088
Descrição não disponível.
Modeling and Semantics.- Testing.- Analysis.- Probabilities.- System Dynamics.- Applications.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Concurrency;Formal methods;Logic;Models of computation;Probabilistic computation;Problem solving;Semantics and reasoning;Software tools;Testing;Timed and hybrid models;Verification by model checking;algorithm analysis and problem complexity
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
