Stock image for illustration purposes only - book cover, edition or condition may vary.
Verification, Induction, Termination Analysis
. Ed(S): Siegler, Simon; Wasser, Nathan
€ 64.43
FREE Delivery in Ireland
Description for Verification, Induction, Termination Analysis
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
th This Festschrift is dedicated to Christoph Walther on the occasion of his 60 th birthday on August 9 , 2010. It consists of articles by some of his colleagues and former students, who, on this momentous occasion, chose to show their appreciation. Inteachingtheoreticalcomputerscience,Christophhas hadaprofoundin- ence onmany ofhis formerandcurrentstudents,notleastby the introductionof eriFun into the classroom. Outside of his teaching, developing eriFun played a major role in his recent research activities. When the idea for this Festschrift was ?rst presented to us, it quickly - came apparent that Christoph's work in the ?elds of veri?cation, induction and termination analysis would be ... Read more
th This Festschrift is dedicated to Christoph Walther on the occasion of his 60 th birthday on August 9 , 2010. It consists of articles by some of his colleagues and former students, who, on this momentous occasion, chose to show their appreciation. Inteachingtheoreticalcomputerscience,Christophhas hadaprofoundin- ence onmany ofhis formerandcurrentstudents,notleastby the introductionof eriFun into the classroom. Outside of his teaching, developing eriFun played a major role in his recent research activities. When the idea for this Festschrift was ?rst presented to us, it quickly - came apparent that Christoph's work in the ?elds of veri?cation, induction and termination analysis would be ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
145
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
145
Place of Publication
Berlin, Germany
ISBN
9783642171710
SKU
V9783642171710
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-3
Reviews for Verification, Induction, Termination Analysis