Capa do artigo Model Checking

Model Checking

de Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Edmund M. Clarke (Carnegie Mellon University) Jr., Helmut (Technische Universitaet Darmstadt) Veith e Doron (Bar Ilan University) Peled
idioma: inglês
Editor: MIT PRESS LTD, dezembro de 2018 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro

Model Checking

de Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Edmund M. Clarke (Carnegie Mellon University) Jr., Helmut (Technische Universitaet Darmstadt) Veith e Doron (Bar Ilan University) Peled

Propriedade Descrição
ISBN: 9780262038836
Editor: MIT PRESS LTD
Data de Lançamento: dezembro de 2018
Idioma: Inglês
Dimensões: 178 x 229 x 20 mm
Encadernação: Capa dura
Páginas: 424
Tipo de produto: Livro
Coleção: Model Checking
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
Livros em Inglês > Outros
EAN: 9780262038836

ORNA (TECHNION) GRUMBERG

VER MAIS TÍTULOS DESTE AUTOR

EDMUND M. CLARKE (CARNEGIE MELLON UNIVERSITY) JR.

VER MAIS TÍTULOS DESTE AUTOR