Verlag: Putian, 2000
ISBN 10: 9862195770 ISBN 13: 9789862195772
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
EUR 16,67
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030136507 ISBN 13: 9783030136505
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 76,07
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 208 pages. 9.25x6.10x0.63 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3319901036 ISBN 13: 9783319901039
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 76,44
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 232 pages. 9.25x6.10x0.53 inches. In Stock.
Zustand: New.
Zustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,64
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 376 pages. 9.25x6.10x0.87 inches. In Stock.
Zustand: New.
Zustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030261751 ISBN 13: 9783030261757
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 83,46
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 692 pages. 9.25x6.10x1.38 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2018
ISBN 10: 3319901036 ISBN 13: 9783319901039
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer International Publishing, 2019
ISBN 10: 3030261751 ISBN 13: 9783030261757
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319577077 ISBN 13: 9783319577074
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 76,74
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 252 pages. 9.25x6.10x0.57 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030136507 ISBN 13: 9783030136505
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language andMethod, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topicalsections: programming and testing; verification and validation; semantics; and blockchain.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319577077 ISBN 13: 9783319577074
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319901036 ISBN 13: 9783319901039
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2020
ISBN 10: 3030414175 ISBN 13: 9783030414177
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030261751 ISBN 13: 9783030261757
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xi'an, China, in July 2019.The 55 papers presented in this volume were carefully reviewed and selected from 124 submissions. The papers cover various topics, including algorithm design, approximation algorithm, graph theory, complexity theory, problem solving, optimization, computational biology, computational learning, communication network, logic, and game theory.
Taschenbuch. Zustand: Neu. Structured Object-Oriented Formal Language and Method | 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers | Shaoying Liu (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2017 | Springer | EAN 9783319577074 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Structured Object-Oriented Formal Language and Method | 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers | Cong Tian (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2018 | Springer | EAN 9783319901039 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Structured Object-Oriented Formal Language and Method | 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers | Zhenhua Duan (u. a.) | Taschenbuch | Lecture Notes in Computer Science | viii | Englisch | 2019 | Springer | EAN 9783030136505 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 376 | Sprache: Englisch | Produktart: Bücher | This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.
Sprache: Chinesisch
Verlag: China Light Industry Press, 2000
ISBN 10: 750192774X ISBN 13: 9787501927746
Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
Zustand: Good. Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc.