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,… mais…
Indigo.ca new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Livro de bolso
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… mais…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday 2010 - livro usado
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 … mais…
buchfreund.de Buchpark GmbH, 14959 Trebbin Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - livro usado
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… mais…
booklooker.de |
2010, ISBN: 9783642171710
Livro de bolso
Festschrift for Christoph Walther on the Occasion of His 60th Birthday, Buch, Softcover, 2010, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Custos de envio:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Verification Induction Termination Analysis by Simon Siegler Paperback | Indigo Chapters - nuovo livro
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,… mais…
Siegler, Simon und Nathan Wasser:
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Livro de bolso2010, 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… mais…
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday 2010 - livro usado
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 … mais…
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - livro usado
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… mais…
2010, ISBN: 9783642171710
Livro de bolso
Festschrift for Christoph Walther on the Occasion of His 60th Birthday, Buch, Softcover, 2010, [PU: Springer Berlin], Springer Berlin, 2010
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Verification, Induction, Termination Analysis
EAN (ISBN-13): 9783642171710
ISBN (ISBN-10): 3642171710
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Springer Berlin
143 Páginas
Peso: 0,254 kg
Língua: eng/Englisch
Livro na base de dados desde 2009-03-10T08:02:44-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-10-09T13:33:27-03:00 (Sao Paulo)
Número ISBN/EAN: 3642171710
Número ISBN - Ortografia alternativa:
3-642-17171-0, 978-3-642-17171-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: wasser, nathan, siegler, waßer, siegle, jürgen neukirch, christoph simon, christoph weber
Título do livro: 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
Dados da editora
Autor: Simon Siegler; Nathan Wasser
Título: 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
Editora: Springer; Springer Berlin
145 Páginas
Ano de publicação: 2010-11-16
Berlin; Heidelberg; DE
Língua: Inglês
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
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783642171727 Verification, Induction, Termination Analysis (Springer)
< Para arquivar...