Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

• Κύριος συγγραφέας: Beckert, Bernhard
• Άλλοι συγγραφείς: HΓ€hnle, Reiner, Schmitt, Peter H.
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
• Σειρά: Lecture Notes in Computer Science 4334
• Θέματα: Logic design; Computer science; Software engineering; Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering; Τεχνητή νοημοσύνη
• Φυσική περιγραφή: v.: digital
• ISBN: 9783540690610
• ISSN: 0302-9743