Sémantiques Formelles: Vérification Formelle De Propriétés Sémantiques Des Langages De Programmation - Sandrine Blazy - Livros - Editions universitaires europeennes - 9786131529955 - 28 de fevereiro de 2018
Caso a capa e o título não sejam correspondentes, considere o título como correto

Sandrine Blazy
Sémantiques Formelles: Vérification Formelle De Propriétés Sémantiques Des Langages De Programmation French edition

Preço
R$ 250,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Sandrine Blazy

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Ce livre introduit les sémantiques formelles et détaille des exemples d'utilisation pour définir des langages de programmation réalistes et vérifier des propriétés sémantiques de ces langages. Il présente plusieurs styles et plusieurs définitions de sémantiques formelles, puis introduit différentes transformations de programmes, et expose les choix de conception associés. En particulier, ce livre décrit une transformation de programmes inspirée de l'évaluation partielle et dédiée à la compréhension de programmes scientifiques. Il détaille également le front-end d'un compilateur modérément optimisant du langage C dédié au logiciel embarqué critique, ayant été formellement vérifié avec l'assistant à la preuve Coq et développé dans le cadre du projet CompCert.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 28 de fevereiro de 2018
ISBN13 9786131529955
Editoras Editions universitaires europeennes
Páginas 132
Dimensões 226 × 8 × 150 mm   ·   204 g
Idioma Francês  

Mais por Sandrine Blazy

Mostrar tudo

Ver tudo de Sandrine Blazy