Langue: anglais
Edité par National Taiwan University Press, 2020
ISBN 10 : 9863504157 ISBN 13 : 9789863504153
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
EUR 21,74
Quantité disponible : 1 disponible(s)
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
EUR 25,76
Quantité disponible : 5 disponible(s)
Ajouter au panierpaperback. Etat : Fine.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 22,90
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 272 pages. 8.25x5.50x8.25 inches. In Stock.
Langue: anglais
Edité par National Taiwan University Press, 2020
ISBN 10 : 9863504157 ISBN 13 : 9789863504153
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 26,38
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. 2020. paperback. . . . . .
Langue: anglais
Edité par National Taiwan University Press, 2020
ISBN 10 : 9863504157 ISBN 13 : 9789863504153
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
EUR 32,47
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. 2020. paperback. . . . . . Books ship from the US and Ireland.
EUR 37,61
Quantité disponible : 15 disponible(s)
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 41,25
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 256 pages. 6.14x0.79x9.02 inches. In Stock.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 46,17
Quantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 43,88
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. 2026. paperback. . . . . .
Langue: anglais
Edité par Teachers' College Press, 2026
ISBN 10 : 0807784095 ISBN 13 : 9780807784099
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
EUR 41,72
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback / softback. Etat : New. New copy - Usually dispatched within 4 working days.
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
EUR 52,68
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. 2026. paperback. . . . . . Books ship from the US and Ireland.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 61,11
Quantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par Auris Reference Limited, 2015
ISBN 10 : 1781545189 ISBN 13 : 9781781545188
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 73,59
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par AURIS REFERENCE LIMITED, 2015
ISBN 10 : 1781545189 ISBN 13 : 9781781545188
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
EUR 77,78
Quantité disponible : 5 disponible(s)
Ajouter au panierEtat : 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.
Langue: anglais
Edité par Auris Reference Limited, 2015
ISBN 10 : 1781545189 ISBN 13 : 9781781545188
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 71,27
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par AURIS REFERENCE LIMITED, 2015
ISBN 10 : 1781545189 ISBN 13 : 9781781545188
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
EUR 82,76
Quantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Langue: anglais
Edité par AURIS REFERENCE LIMITED, 2015
ISBN 10 : 1781545189 ISBN 13 : 9781781545188
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
EUR 82,90
Quantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Langue: anglais
Edité par Auris Reference Limited, 2015
ISBN 10 : 1781545189 ISBN 13 : 9781781545188
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 72,38
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
EUR 102,40
Quantité disponible : 15 disponible(s)
Ajouter au panierHRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Vendeur : preigu, Osnabrück, Allemagne
EUR 38,25
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Langue: anglais
Edité par Teachers' College Press, 2026
ISBN 10 : 0807783528 ISBN 13 : 9780807783528
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
EUR 115,89
Quantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. New copy - Usually dispatched within 4 working days.
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 123,53
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. 2026. hardcover. . . . . .
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 132,88
Quantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par Teachers' College Press, 2026
ISBN 10 : 0807783528 ISBN 13 : 9780807783528
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 125,81
Quantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 256 pages. 6.14x0.79x9.02 inches. In Stock.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 127,72
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 142,61
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 258.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 146,93
Quantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
EUR 147,91
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. 2026. hardcover. . . . . . Books ship from the US and Ireland.
Vendeur : Buchpark, Trebbin, Allemagne
EUR 58,69
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Vendeur : Buchpark, Trebbin, Allemagne
EUR 60,45
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.