Verification, Induction, Termination Analysis

Name: Verification, Induction, Termination Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642171710
Price: 21596 HUF
Availability: InStock

Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Szerző: Simon Siegler, Nathan Wasser

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

21 596 Ft

th This Festschrift is dedicated to Christoph Walther on the occasion of his 60 th birthday on Augus...

Információk a könyvről

Szerző

Simon Siegler, Nathan Wasser

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

145

EAN

9783642171710

ISBN

3642171710

Enbook ID

02710968

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

254

Méretek

159 x 241 x 13

Teljes leírás

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 mirrored in the contributions, leading us to refer to this project as VITA . Since many of the authors have known Christoph for much longer than we have, we feel that the contributions themselves give a better insight into his f- mer and present work than we possibly could. On that note, we hope Christoph enjoys reading this Festschrift and wish him all the best for his future. The editors wouldlike to thank everyonewho showedinterestin this project, especially the authors for their contributions and the organisers of the col- quium. Furthermore we would like to thank Kai Sachs for his work in coordin- ing this Festschrift with Springer. Last, but certainly not least, Veronika Weber hasearnedourheartfeltgratitudewithherconstantguidanceandhelpfuladvice.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Verification, Induction, Termination Analysis

Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták