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 … Más…
Springer.com new in stock. Gastos de envío: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 … Más…
Springer.com Nr. 978-3-540-69061-0. Gastos de envío: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 Gastos de envío:Download sofort lieferbar. (EUR 0.00) Details... |
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino - libro nuevo
ISBN: 9783540690610
; PDF; Computing > Computer programming / software development > Object-oriented programming, Springer Berlin Heidelberg
hive.co.uk No. 9783540690610. Gastos de envío:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., más gastos de envío Details... |
2007, ISBN: 9783540690610
Foreword by K. Rustan M. Leino, [ED: 2007], eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Gastos de envío: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 … Más…
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 … Más…
2007
ISBN: 9783540690610
Foreword by K. Rustan M. Leino, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], [ED: 2007], Springer Berlin Heidelberg, 2007
2007, ISBN: 9783540690610
Foreword by K. Rustan M. Leino, [ED: 2007], eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Verification of Object-Oriented Software. The KeY Approach
EAN (ISBN-13): 9783540690610
ISBN (ISBN-10): 3540690611
Año de publicación: 2007
Editorial: Springer Berlin Heidelberg
29 Páginas
Idioma: eng/Englisch
Libro en la base de datos desde 2010-01-17T22:25:45+01:00 (Madrid)
Página de detalles modificada por última vez el 2023-09-18T00:58:50+02:00 (Madrid)
ISBN/EAN: 9783540690610
ISBN - escritura alterna:
3-540-69061-1, 978-3-540-69061-0
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: peter becker, bernhard beck, beckert, peter hahn, seymour bernstein, schmitt peter
Título del libro: object oriented object oriented, key, software
Datos del la editorial
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
Editorial: Springer; Springer Berlin
658 Páginas
Año de publicación: 2007-04-21
Berlin; Heidelberg; DE
Idioma: 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.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9783540689775 Verification of Object-Oriented Software. The KeY Approach (Beckert, Bernhard Haehnle, Reiner Schmitt, Peter H.)
< para archivar...