Verification of Business Rules Programs - Bruno Berstel-Da Silva - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783662514078 - 17 de agosto de 2016
En caso de que portada y título no coincidan, el título será el correcto

Bruno Berstel-Da Silva
Verification of Business Rules Programs Softcover reprint of the original 1st ed. 2014 edition

Precio
Mex$ 964
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 9 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

También disponible como:

This publication enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. It includes a compositional verification method for proving correctness properties.

253 pages, 16 black & white illustrations, 2 colour illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de agosto de 2016
ISBN13 9783662514078
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 236
Dimensiones 155 × 235 × 14 mm   ·   362 g
Lengua Alemán  

Mere med samme udgiver

Ver todo de Bruno Berstel-Da Silva ( Ej. Hardcover Book y Paperback Book )