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 - - Libros - Springer International Publishing AG - 9783319335995 - 11 de mayo de 2016
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 1 - 14 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 11 de mayo de 2016
ISBN13 9783319335995
Editores Springer International Publishing AG
Páginas 426
Dimensiones 155 × 235 × 23 mm   ·   682 g
Lengua Alemán  
Editor Biro, Miklos
Editor Butler, Michael
Editor Mashkoor, Atif
Editor Schewe, Klaus-Dieter

Mere med samme udgiver