Formale Überprüfung von Simulink/Stateflow-Diagrammen: Ein deduktiver Ansatz
Ø 0.0
0 Bewertungen
135,65 €
1 Introduction. - 2 Preliminaries. - 3 Unifying Theories of Programming. - 4 Simulink. - 5 Stateflow and Its Combination with Simulink. - 6 Hybrid CSP. - 7 Hybrid Hoare Logic. - 8 The HHL Prover.
Jetzt bei Ebay:
-
EAN:9783319470146
-
UPC:9783319470146
-
ISBN:9783319470146
-
Book Title:Formal Verification of Simulink/Stateflow Diagrams
-
Item Length:23.4 cm
-
Expressversand:International Priority Shipping 18,99 EUR - Lieferung zwischen 08. July 2025 und 10. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Schweden, Australien, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam
-
Versand ausgeschlossen:Isle of Man , Amerikanisch-Samoa , Französisch-Polynesien , Guam , Palau , Israel , Türkei , Algerien , Angola , Kongo, Demokratische Republik , ... und weitere