Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday: 6463 (Lecture Notes in Computer Science, 6463) - Image 1

£44.99

Springer Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday: 6463 (Lecture Notes in Computer Science, 6463)

Name: Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday: 6463 (Lecture Notes in Computer Science, 6463)
Brand: Springer
Price: 44.99 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 39 days • 39 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 39 days • 1 price levels

Days at Price

Price Analysis

Most common price: £45 (39 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 39 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642171710
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 16 November 2010
Listed Since: 08 October 2010

Barcode

No barcode data available

Springer Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday: 6463 (Lecture Notes in Computer Science, 6463)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal System Verification: State-of the-Art and Future Trends

Springer Computational Invariant Theory: 130 Mathematics Book

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday: 3838 (Lecture Notes in Computer Science, 3838)

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics: Festschrift for Antonio Campillo on the Occasion of his 65th Birthday

From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)

Computation Engineering: Applied Automata Theory and Logic

"Trust the Math – Encryption is Your Friend": Zum Umgang mit ontologischer Unsicherheit in einer digitalisierten Lebenswelt

Informatik: Eine einführende Übersicht Erster Teil: 80 (Heidelberger Taschenbücher, 80)

Interdisciplinary Knowledge Organization

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Ein Molekül-Atom-Datenmodell für Non-Standard-Anwendungen: Anwendungsanalyse, Datenmodell-entwurf und Implementierungskonzepte: 185 (Informatik-Fachberichte, 185)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Springer - Existence, Historical Fabulation, Destiny: 99

Design Automation for Field-coupled Nanotechnologies

Real-Time Systems: Scheduling, Analysis, and Verification

Proceedings of Second International Conference on Computing, Communications, and Cyber-Security: IC4S 2020: 203 (Lecture Notes in Networks and Systems, 203)

The Verilog Hardware Description Language

Springer Well-Quasi Orders in Computation, Logic and Reasoning

Handbook of Philosophical Logic: Volume 8

Model-Implementation Fidelity in Cyber Physical System Design

Inventive Computation and Information Technologies: Proceedings of ICICIT 2020: 173 (Lecture Notes in Networks and Systems, 173)