Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday de Simon Siegler

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

Editat de Simon Siegler, Nathan Wasser

en Limba Engleză Paperback – 16 noi 2010

Din seria Lecture Notes in Computer Science

Preț: 309^.51 lei

Preț vechi: 386^.88 lei
-20% Nou

Puncte Express: 464

:
59^.27€ • 64^.14$ • 49^.41£

Carte disponibilă

Livrare economică 18 noiembrie-02 decembrie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642171710
ISBN-10: 3642171710
Pagini: 143
Ilustrații: XI, 145 p. 30 illus.
Greutate: 0.26 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Programming Inductive Proofs.- Termination Graphs for Java Bytecode.- Specifying and Verifying Organizational Security Properties in First-Order Logic.- Change Management for Heterogeneous Development Graphs.- The VATES-Diamond as a Verifier’s Best Friend.- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery.- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners).- Second-Order Programs with Preconditions.

Caracteristici

Fast track proceedings Unique visibility State of the art research