Unifying Theories of Programming
-15%
portes grátis
Unifying Theories of Programming
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Zhu, Huibiao; Bowen, Jonathan P.
Springer International Publishing AG
01/2017
217
Mole
Inglês
9783319522272
15 a 20 dias
3518
Descrição não disponível.
Abstraction refinement.- Choice.- Termination.- Feasibility.- Locality.-Concurrency.- Communication.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal languages;hybrid systems;programming language;semantic languages;semantic models;software engineering;denotational semantics;HCSP;interpreters;laws of programming;logics and meanings of programs;mathematical logic;meanings of programs;reactive processes;refinement;simulink;therory engineering;trace algebra;unifying theories;UTP;verification
Abstraction refinement.- Choice.- Termination.- Feasibility.- Locality.-Concurrency.- Communication.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal languages;hybrid systems;programming language;semantic languages;semantic models;software engineering;denotational semantics;HCSP;interpreters;laws of programming;logics and meanings of programs;mathematical logic;meanings of programs;reactive processes;refinement;simulink;therory engineering;trace algebra;unifying theories;UTP;verification
