Qed im Großen und Ganzen: Ein Überblick über die Entwicklung formal verifizierter Software, Paperba...
67,53 €
Qed at Large : A Survey of Engineering of Formally Verified Software, Paperback by Ringer, Talia; Palmskog, Karl; Sergey, Ilya; Gligoric, Milos; Tatlock, Zachary, ISBN 1680835947, ISBN-13 9781680835946, Brand New, Free P&P in the UK Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. Th emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.
Jetzt bei Ebay:
