ISBN: 9783540690610
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not … mais…
Springer.com new in stock. Custos de envio:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540690610
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not … mais…
Springer.com Nr. 978-3-540-69061-0. Custos de envio:Worldwide free shipping, , plus shipping costs. (EUR 0.00) Details... |
2007, ISBN: 9783540690610
Foreword by K. Rustan M. Leino, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], [ED: 2007], Springer Berlin Heidelberg, 2007
lehmanns.de Custos de envio:Download sofort lieferbar. (EUR 0.00) Details... |
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino - nuovo livro
ISBN: 9783540690610
; PDF; Computing > Computer programming / software development > Object-oriented programming, Springer Berlin Heidelberg
hive.co.uk No. 9783540690610. Custos de envio:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., mais custos de envio Details... |
2007, ISBN: 9783540690610
Foreword by K. Rustan M. Leino, [ED: 2007], eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Custos de envio:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540690610
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not … mais…
ISBN: 9783540690610
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not … mais…
2007
ISBN: 9783540690610
Foreword by K. Rustan M. Leino, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], [ED: 2007], Springer Berlin Heidelberg, 2007
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino - nuovo livro
ISBN: 9783540690610
; PDF; Computing > Computer programming / software development > Object-oriented programming, Springer Berlin Heidelberg
2007, ISBN: 9783540690610
Foreword by K. Rustan M. Leino, [ED: 2007], eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Verification of Object-Oriented Software. The KeY Approach
EAN (ISBN-13): 9783540690610
ISBN (ISBN-10): 3540690611
Ano de publicação: 2007
Editor/Editora: Springer Berlin Heidelberg
29 Páginas
Língua: eng/Englisch
Livro na base de dados desde 2010-01-17T19:25:45-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-09-17T19:58:50-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540690610
Número ISBN - Ortografia alternativa:
3-540-69061-1, 978-3-540-69061-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: peter becker, bernhard beck, beckert, peter hahn, seymour bernstein, schmitt peter
Título do livro: object oriented object oriented, key, software
Dados da editora
Autor: Bernhard Beckert
Título: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino
Editora: Springer; Springer Berlin
658 Páginas
Ano de publicação: 2007-04-21
Berlin; Heidelberg; DE
Língua: Inglês
99,00 € (DE)
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; AI logics; JML; Java; Java Card; OCL; deductive verification; formal methods; formal reasoning; logic reasoning; natural language generation; object-oriented software; program verification; proof obligations; software security; specification languages; systems modeling; theorem proving; C; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Software Engineering; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Software Engineering; BC
A New Look at Formal Methods for Software Construction.- A New Look at Formal Methods for Software Construction.- I: Foundations.- First-Order Logic.- Dynamic Logic.- Construction of Proofs.- II: Expressing and Formalising Requirements.- Formal Specification.- Pattern-Driven Formal Specification.- Natural Language Specifications.- Proof Obligations.- From Sequential Java to Java Card.- III: Using the KeY System.- Using KeY.- Proving by Induction.- Java Integers.- Proof Reuse.- IV: Case Studies.- The Demoney Case Study.- The Schorr-Waite-Algorithm.- Appendices.- Predefined Operators in Java Card DL.- The KeY Syntax.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783540689775 Verification of Object-Oriented Software. The KeY Approach (Beckert, Bernhard Haehnle, Reiner Schmitt, Peter H.)
< Para arquivar...