topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
ISBN: 9783319836386 / Angielski / Miękka / 2018 / 258 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
464,01 zł |
 |
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
ISBN: 9783319470146 / Angielski / Twarda / 2016 / 258 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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.
This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid...
|
cena:
464,01 zł |
 |
Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 202
ISBN: 9789819542123 / Angielski Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
333,69 zł |
 |
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
ISBN: 9783030908690 / Angielski / Miękka / 2021 / 820 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
443,82 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
