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 … Plus…
Springer.com new in stock. Frais d'envoizzgl. 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 … Plus…
Springer.com Nr. 978-3-540-69061-0. Frais d'envoiWorldwide 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 Frais d'envoiDownload sofort lieferbar. (EUR 0.00) Details... |
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino - nouveau livre
ISBN: 9783540690610
; PDF; Computing > Computer programming / software development > Object-oriented programming, Springer Berlin Heidelberg
hive.co.uk No. 9783540690610. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
2007, ISBN: 9783540690610
Foreword by K. Rustan M. Leino, [ED: 2007], eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Frais d'envoiDownload 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 … Plus…
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 … Plus…
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 - nouveau livre
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]
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Verification of Object-Oriented Software. The KeY Approach
EAN (ISBN-13): 9783540690610
ISBN (ISBN-10): 3540690611
Date de parution: 2007
Editeur: Springer Berlin Heidelberg
29 Pages
Langue: eng/Englisch
Livre dans la base de données depuis 2010-01-17T22:25:45+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-09-18T00:58:50+02:00 (Paris)
ISBN/EAN: 9783540690610
ISBN - Autres types d'écriture:
3-540-69061-1, 978-3-540-69061-0
Autres types d'écriture et termes associés:
Auteur du livre: peter becker, bernhard beck, beckert, peter hahn, seymour bernstein, schmitt peter
Titre du livre: object oriented object oriented, key, software
Données de l'éditeur
Auteur: Bernhard Beckert
Titre: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino
Editeur: Springer; Springer Berlin
658 Pages
Date de parution: 2007-04-21
Berlin; Heidelberg; DE
Langue: Anglais
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540689775 Verification of Object-Oriented Software. The KeY Approach (Beckert, Bernhard Haehnle, Reiner Schmitt, Peter H.)
< pour archiver...