Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 22,94
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 272 pages. 8.25x5.50x8.25 inches. In Stock.
Sprache: Englisch
Verlag: National Taiwan University Press, 2020
ISBN 10: 9863504157 ISBN 13: 9789863504153
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 2020. paperback. . . . . . Books ship from the US and Ireland.
EUR 37,31
Anzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 41,32
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 256 pages. 6.14x0.79x9.02 inches. In Stock.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 46,11
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Zustand: New. 2026. paperback. . . . . . Books ship from the US and Ireland.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 71,18
Anzahl: 4 verfügbar
In den WarenkorbZustand: New.
paperback. Zustand: Fine.
EUR 102,23
Anzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Making Student Voices Matter | Implementing Culturally Sustaining Literacy Practices in Pre-K-12 Classrooms | Rachelle S Savitz (u. a.) | Taschenbuch | Englisch | 2026 | Teachers College Press | EAN 9780807784099 | Verantwortliche Person für die EU: Mare Nostrum Group B.V., Doelen 72, 4831 GR BREDA, NIEDERLANDE, gpsr[at]mare-nostrum[dot]co[dot]uk | Anbieter: preigu.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 123,28
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 256 pages. 6.14x0.79x9.02 inches. In Stock.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 132,71
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 127,96
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 147,73
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2026. hardcover. . . . . . Books ship from the US and Ireland.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 276 | Sprache: Englisch | Produktart: Bücher | 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. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 276 | Sprache: Englisch | Produktart: Bücher | 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. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.
76 pp., full color with num. photos, paperback gr. 8 [18 x 26 cm] [in Chinese].
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 181,31
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 276 pages. 9.25x6.10x0.60 inches. In Stock.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 202,32
Anzahl: 4 verfügbar
In den WarenkorbZustand: New.
Verlag: Art Book Company January 1993, Taipei, 1993
Anbieter: William Chrisant & Sons, ABAA, ILAB. IOBA, ABA, Ephemera Society, Fort Lauderdale, FL, USA
Zustand: Very Good. Zustand des Schutzumschlags: Very Good. Black cloth covered boards with dustjacket. Chinese text. A nice clean copy with no previous owners' names or other defacements. Scarce. 10 7/16 x 13 15/16 inches.