Order Total (1 Item Items):
Shipping Destination:
Zhan Naijun (64 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (64)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (60)
- As New, Fine or Near Fine (4)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (36)
- Not Print on Demand (45)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.60
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Condition: new.
-
-
Symposium on Real-time and Hybrid Systems : Esays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Dependable Software Engineering : Theories, Tools, and Applications- Second International Symposium, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Symposium On Real-time And Hybrid Syste
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Symposium on Real-time and Hybrid Systems : Esays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Dependable Software Engineering : Theories, Tools, and Applications- Second International Symposium, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Symposium on Real-time and Hybrid Systems: Esays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Language: English
Published by Springer-Verlag New York Inc, 2018
ISBN 10: 3030014606 ISBN 13: 9783030014605
Paperback. Condition: Brand New. 276 pages. 9.25x6.10x0.55 inches. In Stock.
-
Condition: new.
-
Formal Methods and Software Engineering (Paperback)
Language: English
Published by Springer Verlag, Singapore, Singapore, 2025
ISBN 10: 981954212X ISBN 13: 9789819542123
Paperback. Condition: new. Paperback. This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 1013, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: New.
-
Symposium on Real-Time and Hybrid Systems
Language: English
Published by Springer International Publishing, 2018
ISBN 10: 3030014606 ISBN 13: 9783030014605
Condition: New.
-
Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Language: English
Published by Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030014606 ISBN 13: 9783030014605
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is published in honor of Professor Chaochen Zhou's 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing.Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjørner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou's contributions have been marked by his election as a member of the Chinese Academy of Sciences.
-
Formal Methods and Software Engineering (Paperback)
Language: English
Published by Springer Verlag, Singapore, Singapore, 2025
ISBN 10: 981954212X ISBN 13: 9789819542123
Paperback. Condition: new. Paperback. This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 1013, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Language: English
Published by Springer International Publishing, 2016
ISBN 10: 3319476769 ISBN 13: 9783319476766
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions.The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.
-
Dependable Software Engineering: Theories, Tools, and Applications- Second International Symposium, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319476769 ISBN 13: 9783319476766
Paperback. Condition: Brand New. 344 pages. 9.25x6.10x0.78 inches. In Stock.
-
Taschenbuch. Condition: Neu. Dependable Software Engineering: Theories, Tools, and Applications | Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings | Martin Fränzle (u. a.) | Taschenbuch | xviii | Englisch | 2016 | Springer | EAN 9783319476766 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Symposium on Real-Time and Hybrid Systems | Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday | Cliff Jones (u. a.) | Taschenbuch | xii | Englisch | 2018 | Springer | EAN 9783030014605 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Paperback. Condition: Brand New. 412 pages. 6.10x0.94x9.25 inches. In Stock.
-
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 104.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 104.60
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
