Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Paese del venditore
Valutazione venditore
Editore: Springer, 2019
ISBN 10: 3030309843ISBN 13: 9783030309848
Da: HPB-Red, Dallas, TX, U.S.A.
Libro
paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!.
Editore: Città Studi Edizioni, 2009
ISBN 10: 882517344XISBN 13: 9788825173444
Da: Book Deals, Tucson, AZ, U.S.A.
Libro
Condizione: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages. 1.19.
Editore: Città Studi Edizioni, 2009
ISBN 10: 882517344XISBN 13: 9788825173444
Da: GF Books, Inc., Hawthorne, CA, U.S.A.
Libro
Condizione: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear. 1.19.
Editore: Città Studi Edizioni, 2009
ISBN 10: 882517344XISBN 13: 9788825173444
Da: GF Books, Inc., Hawthorne, CA, U.S.A.
Libro
Condizione: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 1.19.
Editore: Città Studi Edizioni, 2009
ISBN 10: 882517344XISBN 13: 9788825173444
Da: Book Deals, Tucson, AZ, U.S.A.
Libro
Condizione: Good. Good condition. This is the average used book, that has all pages or leaves present, but may include writing. Book may be ex-library with stamps and stickers. 1.19.
Editore: Città Studi Edizioni, 2009
ISBN 10: 882517344XISBN 13: 9788825173444
Da: Book Deals, Tucson, AZ, U.S.A.
Libro
Condizione: New. New! This book is in the same immaculate condition as when it was published 1.19.
Editore: Città Studi Edizioni, 2009
ISBN 10: 882517344XISBN 13: 9788825173444
Da: Books Unplugged, Amherst, NY, U.S.A.
Libro
Condizione: New. Buy with confidence! Book is in new, never-used condition 1.19.
Editore: Kluwer Academic Publishers, 1999
ISBN 10: 0792384296ISBN 13: 9780792384298
Da: Jackson Books, Gainsborough, Regno Unito
Libro
Hardcover. Condizione: Very Good. No Jacket. Text and pages clean and free of markings. Covers with light shelf wear. No dust jacket.
Editore: Springer, 1999
ISBN 10: 0792384296ISBN 13: 9780792384298
Da: GF Books, Inc., Hawthorne, CA, U.S.A.
Libro
Condizione: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear. 1.9.
Editore: Springer, 2015
ISBN 10: 3319231286ISBN 13: 9783319231280
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro Print on Demand
Soft Cover. Condizione: new. This item is printed on demand.
Editore: Springer, 2015
ISBN 10: 3319231286ISBN 13: 9783319231280
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2009
ISBN 10: 3642032397ISBN 13: 9783642032394
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer, 2017
ISBN 10: 3319684981ISBN 13: 9783319684987
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro Print on Demand
Soft Cover. Condizione: new. This item is printed on demand.
Editore: Springer, 2019
ISBN 10: 3030309843ISBN 13: 9783030309848
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer, 2015
ISBN 10: 3319231286ISBN 13: 9783319231280
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 2015
ISBN 10: 3319231286ISBN 13: 9783319231280
Da: Books Puddle, New York, NY, U.S.A.
Libro
Condizione: New. pp. 134.
Editore: Springer 2015-08, 2015
ISBN 10: 3319231286ISBN 13: 9783319231280
Da: Chiron Media, Wallingford, Regno Unito
Libro
PF. Condizione: New.
Editore: Springer Nature B.V., 2013
ISBN 10: 1475752652ISBN 13: 9781475752656
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Libro Print on Demand
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Editore: Springer, 2017
ISBN 10: 3319684981ISBN 13: 9783319684987
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2019
ISBN 10: 3030309843ISBN 13: 9783030309848
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2013
ISBN 10: 1475752652ISBN 13: 9781475752656
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro
Condizione: New. In.
Editore: Springer International Publishing Aug 2015, 2015
ISBN 10: 3319231286ISBN 13: 9783319231280
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications. 156 pp. Englisch.
Editore: Springer, 2015
ISBN 10: 3319231286ISBN 13: 9783319231280
Da: Majestic Books, Hounslow, Regno Unito
Libro Print on Demand
Condizione: New. Print on Demand pp. 134.
Editore: Springer-Verlag New York Inc, 2015
ISBN 10: 3319231286ISBN 13: 9783319231280
Da: Revaluation Books, Exeter, Regno Unito
Libro
Paperback. Condizione: Brand New. 156 pages. 9.25x6.25x0.50 inches. In Stock.
Editore: Springer, 2009
ISBN 10: 3642032397ISBN 13: 9783642032394
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 2017
ISBN 10: 3319684981ISBN 13: 9783319684987
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 2019
ISBN 10: 3030309843ISBN 13: 9783030309848
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642032397ISBN 13: 9783642032394
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicited included, but were not restricted to, the following: - Design, speci cation, code generation and testing based on formal methods - Veri cation and validation of complex, distributed, real-time systems and embedded systems - Veri cation and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e. g. , scalability and usability issues) - Tools for the development of formal design descriptions - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identi cation of new research - rections - Impact of the adoption of formal methods on the development process and associated costs - Application of formal methods in standardization and industrial forums The workshop included six sessions of regular contributions in the areas of model checking, testing, software veri cation, real-time performance, and ind- trial case studies. There were also three invited presentations, given by Steven Miller,Rance Cleaveland,and Werner Damm, coveringthe applicationof formal methods in the avionics and automotive industries. 244 pp. Englisch.
Editore: Springer International Publishing Okt 2017, 2017
ISBN 10: 3319684981ISBN 13: 9783319684987
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length. 284 pp. Englisch.
Editore: Springer International Publishing Sep 2019, 2019
ISBN 10: 3030309843ISBN 13: 9783030309848
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications. 588 pp. Englisch.