Formal Methods and Software Engineering
portes grátis
Formal Methods and Software Engineering
22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
Hou, Zhe; Mahony, Brendan; Lin, Shang-Wei
Springer Nature Switzerland AG
12/2020
335
Mole
Inglês
9783030634056
15 a 20 dias
539
Descrição não disponível.
Safety and Security.- Program Verification.- Formal Methods and Machine Learning.- Formal Languages.- Other Applications of Formal Methods.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer networks;computer science;computer systems;databases;embedded systems;engineering;formal languages;formal logic;internet;linguistics;mathematics;network protocols;software architecture;software design;software engineering;software quality;theoretical computer science
Safety and Security.- Program Verification.- Formal Methods and Machine Learning.- Formal Languages.- Other Applications of Formal Methods.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer networks;computer science;computer systems;databases;embedded systems;engineering;formal languages;formal logic;internet;linguistics;mathematics;network protocols;software architecture;software design;software engineering;software quality;theoretical computer science
