Seller: Revaluation Books, Exeter, United Kingdom
US$ 26.57
Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 272 pages. 8.25x5.50x8.25 inches. In Stock.
Language: English
Published by National Taiwan University Press, 2020
ISBN 10: 9863504157 ISBN 13: 9789863504153
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. 2020. paperback. . . . . .
Language: English
Published by National Taiwan University Press, 2020
ISBN 10: 9863504157 ISBN 13: 9789863504153
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. 2020. paperback. . . . . . Books ship from the US and Ireland.
US$ 43.21
Quantity: 15 available
Add to basketPAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 47.86
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 256 pages. 6.14x0.79x9.02 inches. In Stock.
Language: English
Published by Teachers College Press, 2026
ISBN 10: 0807784095 ISBN 13: 9780807784099
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New.
Language: English
Published by Teachers College Press, 2026
ISBN 10: 0807784095 ISBN 13: 9780807784099
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. 2026. paperback. . . . . .
Language: English
Published by Teachers' College Press, 2026
ISBN 10: 0807784095 ISBN 13: 9780807784099
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
US$ 48.41
Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
Language: English
Published by Teachers College Press, 2026
ISBN 10: 0807784095 ISBN 13: 9780807784099
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. 2026. paperback. . . . . . Books ship from the US and Ireland.
Language: English
Published by Teachers College Press, 2026
ISBN 10: 0807784095 ISBN 13: 9780807784099
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
Language: English
Published by Auris Reference Limited, 2015
ISBN 10: 1781545189 ISBN 13: 9781781545188
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
Language: English
Published by AURIS REFERENCE LIMITED, 2015
ISBN 10: 1781545189 ISBN 13: 9781781545188
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: 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.
Language: English
Published by Auris Reference Limited, 2015
ISBN 10: 1781545189 ISBN 13: 9781781545188
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New.
Language: English
Published by Teachers College Press, 2026
ISBN 10: 0807784095 ISBN 13: 9780807784099
Seller: Books From California, Simi Valley, CA, U.S.A.
paperback. Condition: Fine.
Language: English
Published by AURIS REFERENCE LIMITED, 2015
ISBN 10: 1781545189 ISBN 13: 9781781545188
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Language: English
Published by AURIS REFERENCE LIMITED, 2015
ISBN 10: 1781545189 ISBN 13: 9781781545188
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Language: English
Published by Auris Reference Limited, 2015
ISBN 10: 1781545189 ISBN 13: 9781781545188
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New.
US$ 118.39
Quantity: 15 available
Add to basketHRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Language: English
Published by Teachers College Press, 2026
ISBN 10: 0807784095 ISBN 13: 9780807784099
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: 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.
Language: English
Published by Teachers' College Press, 2026
ISBN 10: 0807783528 ISBN 13: 9780807783528
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
US$ 134.47
Quantity: Over 20 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days.
Language: English
Published by Teachers College Press, 2026
ISBN 10: 0807783528 ISBN 13: 9780807783528
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
US$ 147.83
Quantity: Over 20 available
Add to basketCondition: New. 2026. hardcover. . . . . .
Language: English
Published by Teachers' College Press, 2026
ISBN 10: 0807783528 ISBN 13: 9780807783528
Seller: Revaluation Books, Exeter, United Kingdom
US$ 142.77
Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 256 pages. 6.14x0.79x9.02 inches. In Stock.
Seller: Buchpark, Trebbin, Germany
Condition: 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.
Language: English
Published by Teachers College Press, 2026
ISBN 10: 0807783528 ISBN 13: 9780807783528
Seller: Majestic Books, Hounslow, United Kingdom
US$ 149.93
Quantity: 3 available
Add to basketCondition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 147.08
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 258.
Language: English
Published by Teachers College Press, 2026
ISBN 10: 0807783528 ISBN 13: 9780807783528
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
Language: English
Published by Teachers College Press, 2026
ISBN 10: 0807783528 ISBN 13: 9780807783528
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. 2026. hardcover. . . . . . Books ship from the US and Ireland.
Seller: Buchpark, Trebbin, Germany
Condition: 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.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 167.40
Quantity: 1 available
Add to basketMass Market Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.