Contacto
Como comprar
Entrega
Guia de compras
Semantics with Applications: An Appetizer
Inglês
92 b
Até 30 dias para devoluções
Os clientes também compraram
/
Capa mole
33.94
€
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science.This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages Verifying program analyses that are part of more advanced implementations of programming languages Verifying security analyses Verifying useful program properties including information about execution time.
Sobre o livro
Inglês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
23.60
€
/
Capa mole
14.89
€
/
Livro de capa dura
17.73
€
/
Capa mole
65.36
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?