Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings - Lecture Notes in Computer Science - - Livros - Springer International Publishing AG - 9783319335995 - 11 de maio de 2016
Caso a capa e o título não sejam correspondentes, considere o título como correto

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

Preço
R$ 296,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out

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

This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

426 pages, 143 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 11 de maio de 2016
ISBN13 9783319335995
Editoras Springer International Publishing AG
Páginas 426
Dimensões 155 × 235 × 23 mm   ·   682 g
Idioma Alemão  
Editor Biro, Miklos
Editor Butler, Michael
Editor Mashkoor, Atif
Editor Schewe, Klaus-Dieter

Mais da mesma editora