- 5 Results
Lowest price: € 38.51, highest price: € 57.13, average price: € 46.34
1
Verification Induction Termination Analysis by Simon Siegler Paperback | Indigo Chapters
Order
at Indigo.ca
C$ 83.50
(aprox. € 57.13)
OrderSponsored link

Verification Induction Termination Analysis by Simon Siegler Paperback | Indigo Chapters - new book

2010, ISBN: 9783642171710

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,… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
2
Order
at ZVAB.com
€ 42.79
Shipment: € 0.001
OrderSponsored link

Siegler, Simon und Nathan Wasser:

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Paperback

2010, ISBN: 3642171710

[EAN: 9783642171710], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], BELL-LA PADULA,RDER PROGRAMS,CHINESE WALL,SECURITY,FIRST-ORDER LOGIC,MODELING,DYNAMIC RIPPLING,PROGRAMMIN… More...

NOT NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
3
Order
at buchfreund.de
€ 38.51
Shipment: € 0.001
OrderSponsored link
Siegler, Simon und Nathan Wasser:
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday 2010 - used book

2010

ISBN: 9783642171710

2010 Neubindung, Buchrücken leicht geknickt und eingerissen 10022215/12 Versandkostenfreie Lieferung Bell-La Padula,rder programs,chinese wall,security,first-order logic,modeling,dynamic … More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
4
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Siegler, Simon und Nathan Wasser
Order
at booklooker.de
€ 39.79
Shipment: € 0.001
OrderSponsored link
Siegler, Simon und Nathan Wasser:
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - used book

2010, ISBN: 9783642171710

[PU: Springer Berlin], Neubindung, Buchrücken leicht geknickt und eingerissen 10022215/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, P… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
5
Verification, Induction, Termination Analysis - Simon Siegler; Nathan Wasser
Order
at lehmanns.de
€ 53.49
Shipment: € 0.001
OrderSponsored link
Simon Siegler; Nathan Wasser:
Verification, Induction, Termination Analysis - First edition

2010, ISBN: 9783642171710

Paperback

Festschrift for Christoph Walther on the Occasion of His 60th Birthday, Buch, Softcover, 2010, [PU: Springer Berlin], Springer Berlin, 2010

Shipping costs:Versand in 10-14 Tagen. (EUR 0.00)

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by find-more-books.com / find-more-books.com do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Verification, Induction, Termination Analysis

This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejandro P. Buchmann, Sorin A. Huss and Christoph Walther, a colloquium was held on November 19th, 2010 in Darmstadt, Germany. The articles collected herein cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis. Together they give a good overall perspective on the formal verification of the correctness of software systems.

Details of the book - Verification, Induction, Termination Analysis


EAN (ISBN-13): 9783642171710
ISBN (ISBN-10): 3642171710
Hardcover
Paperback
Publishing year: 2010
Publisher: Springer Berlin
143 Pages
Weight: 0,254 kg
Language: eng/Englisch

Book in our database since 2009-03-10T07:02:44-04:00 (New York)
Detail page last modified on 2023-10-09T12:33:27-04:00 (New York)
ISBN/EAN: 9783642171710

ISBN - alternate spelling:
3-642-17171-0, 978-3-642-17171-0
Alternate spelling and related search-keywords:
Book author: wasser, nathan, siegler, waßer, siegle, jürgen neukirch, christoph simon, christoph weber
Book title: know your walther, science the artificial, klassenkörpertheorie, verification induction termination analysis festschrift for christoph walther the occasion his 60th birthday, birthday book, lecture notes computer science


Information from Publisher

Author: Simon Siegler; Nathan Wasser
Title: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Publisher: Springer; Springer Berlin
145 Pages
Publishing year: 2010-11-16
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 145 p. 30 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Bell-La Padula; Java; change management; chinese wall; dynamic rippling; first-order logic; higher-order automata; inducti; modal logic; modeling; programming; proving; rder programs; security; verification; Software Engineering; Computer Communication Networks; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Formal Languages and Automata Theory; Netzwerk-Hardware; Theoretische Informatik; Künstliche Intelligenz; EA

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.
Fast track proceedings Unique visibility State of the art research

More/other books that might be very similar to this book

Latest similar book:
9783642171727 Verification, Induction, Termination Analysis (Springer)


< to archive...