Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".
QED at Large
ISBN/GTIN

QED at Large

A Survey of Engineering of Formally Verified Software
BookPaperback
Ranking42763in
CHF144.00

Description

Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.
More descriptions

Details

ISBN/GTIN978-1-68083-594-6
Product TypeBook
BindingPaperback
Publishing date03/09/2019
Pages198 pages
LanguageEnglish
SizeWidth 156 mm, Height 234 mm, Thickness 11 mm
Weight310 g
Article no.7277008
CatalogsBuchzentrum
Data source no.32564942
More details

Author

Subjects