Formal Methods and Software Engineering
-15%
portes grátis
Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Butler, Michael; Conchon, Sylvain; Zaidi, Fatiha
Springer International Publishing AG
12/2015
436
Mole
Inglês
9783319254227
15 a 20 dias
6964
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Concurrent systems;Distributed algorithms;Model checking;Software product lines;Specification languages;Consistency verification;Constraint solving;Domain specific visualization;Evaluation;Language design;Logic;Model-driven engineering;Reliability;Security;Semantics;Software design;Software verification;Specification;System modeling;Theorem proving
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Concurrent systems;Distributed algorithms;Model checking;Software product lines;Specification languages;Consistency verification;Constraint solving;Domain specific visualization;Evaluation;Language design;Logic;Model-driven engineering;Reliability;Security;Semantics;Software design;Software verification;Specification;System modeling;Theorem proving
