Sprache: Englisch
Verlag: Harry N. Abrams (edition ), 2022
ISBN 10: 1419758896 ISBN 13: 9781419758898
Anbieter: BooksRun, Philadelphia, PA, USA
Hardcover. Zustand: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Hardcover. Zustand: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Hardcover. Zustand: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: Better World Books: West, Reno, NV, USA
Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
EUR 4,02
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Margarita in Retrograde: Cocktails for Every Sign This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
Anbieter: Magers and Quinn Booksellers, Minneapolis, MN, USA
hardcover. Zustand: Very Good. May have light to moderate shelf wear and/or a remainder mark. Complete. Clean pages.
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
EUR 5,41
Anzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
EUR 10,26
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Sherlock's Home: The Empty House (Chinese Version) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
EUR 20,51
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 248 pages. 8.25x5.37x8.20 inches. In Stock.
EUR 20,51
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 248 pages. 8.25x5.37x8.20 inches. In Stock.
Sprache: Chinesisch
Verlag: MX Publishing 01/y /20 M, 2013
ISBN 10: 1780924704 ISBN 13: 9781780924700
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
EUR 10,26
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 22,28
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 192 pages. 7.25x5.25x0.75 inches. In Stock.
paperback. Zustand: Good.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 53,98
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 53,98
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 53,98
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: New.
Anbieter: Vangsgaards Antikvariat Aps, Copenhagen, Dänemark
Erstausgabe
Museum Tusculanum Press, Copenhagen 2002. 224 pages. Illustrated. Orig. boards. Fine.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 78,17
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Vangsgaards Antikvariat Aps, Copenhagen, Dänemark
Erstausgabe
Museum Tusculanum Press, Copenhagen 2002. 224 pages. Illustrated. Orig. boards. Fine.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 96,98
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 114,05
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 427 pages. 9.25x6.10x0.98 inches. In Stock.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 428 | Sprache: Englisch | Produktart: Bücher | This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences.The first paper in the volume provides an overview of Jifeng¿s research contributions, especially inthe area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng¿s recent roadmap for UTP.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Theories of Programming and Formal Methods | Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2023 | Springer | EAN 9783031404351 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 3031404351 ISBN 13: 9783031404351
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences.The first paper in the volume provides an overview of Jifeng's research contributions, especially inthe area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng's recent roadmap for UTP.