- 5 resultaten
laagste prijs: € 38,51, hoogste prijs: € 57,13, gemiddelde prijs: € 46,34
1
Verification Induction Termination Analysis by Simon Siegler Paperback | Indigo Chapters
bestellen
bij Indigo.ca
C$ 83,50
(ongeveer € 57,13)
bestellenGesponsorde link

Verification Induction Termination Analysis by Simon Siegler Paperback | Indigo Chapters - nieuw boek

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

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
2
bestellen
bij ZVAB.com
€ 42,79
verzending: € 0,001
bestellenGesponsorde link

Siegler, Simon und Nathan Wasser:

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

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… Meer...

NOT NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
3
bestellen
bij buchfreund.de
€ 38,51
verzending: € 0,001
bestellenGesponsorde link
Siegler, Simon und Nathan Wasser:
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday 2010 - gebruikt boek

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 … Meer...

Verzendingskosten: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
bestellen
bij booklooker.de
€ 39,79
verzending: € 0,001
bestellenGesponsorde link
Siegler, Simon und Nathan Wasser:
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - gebruikt boek

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… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
5
Verification, Induction, Termination Analysis - Simon Siegler; Nathan Wasser
bestellen
bij lehmanns.de
€ 53,49
verzending: € 0,001
bestellenGesponsorde link
Simon Siegler; Nathan Wasser:
Verification, Induction, Termination Analysis - eerste uitgave

2010, ISBN: 9783642171710

pocketboek

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

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

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
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.

Gedetalleerde informatie over het boek. - Verification, Induction, Termination Analysis


EAN (ISBN-13): 9783642171710
ISBN (ISBN-10): 3642171710
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Berlin
143 Bladzijden
Gewicht: 0,254 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2009-03-10T12:02:44+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-10-09T18:33:27+02:00 (Amsterdam)
ISBN/EAN: 9783642171710

ISBN - alternatieve schrijfwijzen:
3-642-17171-0, 978-3-642-17171-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: wasser, nathan, siegler, waßer, siegle, jürgen neukirch, christoph simon, christoph weber
Titel van het boek: 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


Gegevens van de uitgever

Auteur: Simon Siegler; Nathan Wasser
Titel: 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
Uitgeverij: Springer; Springer Berlin
145 Bladzijden
Verschijningsjaar: 2010-11-16
Berlin; Heidelberg; DE
Taal: Engels
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

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9783642171727 Verification, Induction, Termination Analysis (Springer)


< naar Archief...