Deductive Software Verification: Future Perspectives / Lecture Notes in Computer Science Bd.12345 (PDF)
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 2020, 1st ed. 2020, 339 Seiten, Englisch
- Herausgegeben: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
- Verlag: Springer International Publishing
- ISBN-10: 3030643549
- ISBN-13: 9783030643546
- Erscheinungsdatum: 08.12.2020
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 11 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Deductive Software Verification: Future Perspectives / Lecture Notes in Computer Science Bd.12345".
Kommentar verfassen