Deductive Software Verification: Future
Ahrendt, Wolfgang
ISBN 10: 3030643530 ISBN 13: 9783030643539
Published by Springer, 2020
New
Soft cover
From
Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since October 9, 2009
This specific item is no longer available.
About this Item
Description:
Seller Inventory # V9783030643539
Synopsis:
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.
Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment.
We took the 20-year anniversary of KeY as an opportunity to invite researchers, inside and outside of the project, to contribute to a book capturing some state-of-the-art developments in the field.
We received thirteen contributions from recognized experts of the field addressing the latest challenges. The topics of the contributions range from tool development, effciency and usability considerations to novel specification and verification methods.
This book should offer the reader an up-to-date impression of the current state of art in deductive verification, and we hope, inspire her to contribute to the field and to join forces. We are looking forward to meeting you at the next conference, to listen to your research talks and the resulting fruitful discussions and collaborations.
From the Back Cover: Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment.
We took the 20 year anniversary of KeY as an opportunity to invite researchers, inside and outside of the project, to contribute to a book capturing some state-of-the-art developments in the field.
We received thirteen contributions from recognized experts of the field addressing the latest challenges. The topics of the contributions range from tool development, effciency and usability considerations to novel specification and verification methods.
This book should offer the reader an up-to-date impression of the current state-of-art in deductive verification, and we hope, inspire her to contribute to the field and to join forces. We are looking forward to meeting you at the next conference, to listen to your research talks and the resulting fruitful discussions and collaborations.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Deductive Software Verification: Future
Publisher: Springer
Publication Date: 2020
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of Key
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G3030643530I4N00
Stock Image
Deductive Software Verification: Future Perspectives (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 9b000c009ff0ca36bb1b3f9015d41ba8
Buy New
US$ 55.52
US$ 7.93 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Deductive Software Verification: Future Perspectives
Published by
Springer International Publishing, 2020
ISBN 10: 3030643530
ISBN 13: 9783030643539
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Written by recognized expertsOffers the current state of the art in deductive verificationTopics range from tool development to novel specification and verification methodsThis book presents reflections on the occasion of 20 years on the K. Seller Inventory # 424139000
Buy New
US$ 58.10
US$ 57.13 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Deductive Software Verification: Future Perspectives | Reflections on the Occasion of 20 Years of KeY
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Deductive Software Verification: Future Perspectives | Reflections on the Occasion of 20 Years of KeY | Wolfgang Ahrendt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2020 | Springer | EAN 9783030643539 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 119118384
Buy New
US$ 60.48
US$ 81.63 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Seller Image
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43026896-n
Seller Image
Deductive Software Verification: Future Perspectives
Published by
Springer International Publishing Dez 2020, 2020
ISBN 10: 3030643530
ISBN 13: 9783030643539
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment.We took the 20-year anniversary of KeY as an opportunity to invite researchers, inside and outside of the project, to contribute to a book capturing some state-of-the-art developments in the field.We received thirteen contributions from recognized experts of the field addressing the latest challenges. The topics of the contributions range from tool development, effciency and usability considerations to novel specification and verification methods.This book should offer the reader an up-to-date impression of the current state of art in deductive verification, and we hope, inspire her to contribute to the field and to join forces. We are looking forward to meeting you at the next conference, to listen to your research talks and the resulting fruitful discussions and collaborations. 352 pp. Englisch. Seller Inventory # 9783030643539
Buy New
US$ 64.25
US$ 26.82 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Deductive Software Verification: Future Perspectives
Published by
Springer, Springer Dez 2020, 2020
ISBN 10: 3030643530
ISBN 13: 9783030643539
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment.We took the 20-year anniversary of KeY as an opportunity to invite researchers, inside and outside of the project, to contribute to a book capturing some state-of-the-art developments in the field.We received thirteen contributions from recognized experts of the field addressing the latest challenges. The topics of the contributions range from tool development, effciency and usability considerations to novel specification and verification methods.This book should offer the reader an up-to-date impression of the current state of art in deductive verification, and we hope, inspire her to contribute to the field and to join forces. We are looking forward to meeting you at the next conference, to listen to your research talks and the resulting fruitful discussions and collaborations.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 352 pp. Englisch. Seller Inventory # 9783030643539
Buy New
US$ 64.25
US$ 69.97 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY
Published by
Springer International Publishing, 2020
ISBN 10: 3030643530
ISBN 13: 9783030643539
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment.We took the 20-year anniversary of KeY as an opportunity to invite researchers, inside and outside of the project, to contribute to a book capturing some state-of-the-art developments in the field.We received thirteen contributions from recognized experts of the field addressing the latest challenges. The topics of the contributions range from tool development, effciency and usability considerations to novel specification and verification methods.This book should offer the reader an up-to-date impression of the current state of art in deductive verification, and we hope, inspire her to contribute to the field and to join forces. We are looking forward to meeting you at the next conference, to listen to your research talks and the resulting fruitful discussions and collaborations. Seller Inventory # 9783030643539
Buy New
US$ 64.25
US$ 73.09 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030643539
Buy New
US$ 65.88
US$ 20.74 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43026896-n
Buy New
US$ 69.31
US$ 20.09 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available