Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach - Naijun Zhan - Libros - Springer International Publishing AG - 9783319470146 - 14 de noviembre de 2016
En caso de que portada y título no coincidan, el título será el correcto

Naijun Zhan
Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach 1st ed. 2017 edition

Precio
Mex$ 2.109
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 28 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 book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies.

273 pages, 14 black & white illustrations, 60 colour illustrations, 50 colour tables, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 14 de noviembre de 2016
ISBN13 9783319470146
Editores Springer International Publishing AG
Páginas 258
Dimensiones 155 × 235 × 18 mm   ·   562 g
Lengua Francés  

Mere med samme udgiver

Ver todo de Naijun Zhan ( Ej. Hardcover Book y Paperback Book )