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...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
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...
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
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...
buchfreund.de Buchpark GmbH, 14959 Trebbin Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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...
booklooker.de |
2010, ISBN: 9783642171710
pocketboek
Festschrift for Christoph Walther on the Occasion of His 60th Birthday, Buch, Softcover, 2010, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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...
Siegler, Simon und Nathan Wasser:
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - pocketboek2010, 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...
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...
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...
2010, ISBN: 9783642171710
pocketboek
Festschrift for Christoph Walther on the Occasion of His 60th Birthday, Buch, Softcover, 2010, [PU: Springer Berlin], Springer Berlin, 2010
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
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
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783642171727 Verification, Induction, Termination Analysis (Springer)
< naar Archief...