The French School of Programming

[Candidosa2]

A Escola Francesa de Programação

Inglês | 2024 | ISBN: 3031345177 | 451 páginas | PDF (Verdadeiro) | 12MB


A Escola Francesa de Programação é uma coleção de discussões perspicazes sobre tópicos de programação e engenharia de software, por alguns dos nomes mais prestigiados da ciência da computação francesa. Os autores incluem vários dos criadores de invenções amplamente aclamadas como a interpretação abstrata, as linguagens de programação Caml, OCaml e Eiffel, o assistente de prova Coq, agentes e técnicas modernas de teste.



Mais informações
Screenshots:

https://rapidgator.net/file/71fb6209add602d46651f68997402a0d

https://ddownload.com/2htkyu2x7ezd