Functional and Logic Programming

Functional and Logic Programming

17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Miller, Dale; Gibbons, Jeremy

Springer Verlag, Singapore

06/2024

314

Mole

9789819722990

Pré-lançamento - envio 15 a 20 dias após a sua edição

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.

architecture verification and validation;artificial intelligence;computer hardware;computer programming;computer systems;distributed computer systems;distributed systems;embedded systems;formal logic;functional programming;logic programming;object-oriented programming;parallel processing systems;program compilers;software architecture;software design;software engineering;software quality;verification;verification and validation