Sprache: Englisch
Verlag: National Taiwan University Press, 2020
ISBN 10: 9863504157 ISBN 13: 9789863504153
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 21,78
Anzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
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 Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: New. 2020. paperback. . . . . .
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,68
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.
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
EUR 43,88
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2026. paperback. . . . . .
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 41,80
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. New copy - Usually dispatched within 4 working days.
Zustand: New. 2026. paperback. . . . . . Books ship from the US and Ireland.
Zustand: New.
Anbieter: Books Puddle, New York, NY, USA
Zustand: New.
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.
Anbieter: SMASS Sellers, IRVING, TX, USA
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Anbieter: SMASS Sellers, IRVING, TX, USA
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New.
EUR 102,60
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: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 116,11
Anzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. New copy - Usually dispatched within 4 working days.
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
EUR 123,53
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2026. hardcover. . . . . .
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: Books Puddle, New York, NY, USA
Zustand: New. pp. 258.
Zustand: New.
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.