Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

CRAI Library - Madrid
Your cart is empty.
My folder ( items) | My account
Image from Google Jackets

Formal verification of Simulink/Stateflow diagrams : a deductive approach / Naijun Zhan, Shuling Wang, Hengjun Zhao.

By: Zhan, Naijun,, autor
Contributor(s): Wang, Shuling,, autor | Zhao, Hengjun,, autor
Material type: materialTypeLabelE-bookPublisher: Cham, Switzerland : Springer, [2016]Copyright date: 2017Description: 1 recurso en línea.ISBN: 3319470167; 9783319470160.Subject: SIMULINK | Stateflow | SIMULINK | Stateflow | Software -- VerificationOnline resources: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
LIBRO-E NO PRÉSTAMO LIBRO-E NO PRÉSTAMO Madrid Digital Acceso Electrónico (UEM) Ciencias e Ingeniería QA76.76.V47 Z436 2016 EB (Browse shelf(Opens below)) Acceso electrónico eBook.20022441
Total holds: 0

SpringerLink Springer Engineering eBooks 2017 English+International

Incluye referencias bibliográficas e índice

There are no comments on this title.

to post a comment.
Share