Normal view MARC view ISBD view

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

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino / [electronic resource] : edited by Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - xxix, 658 p. : ill., digital ; 24 cm. - Lecture Notes in Computer Science, 4334 0302-9743 ; .

ISBN: 9783540690610 (electronic bk.) 9783540689775 (paper)

Subjects--Topical Terms:
Computer software--Verification.
Object-oriented methods (Computer science)
Java (Computer program language)
Computer Science.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Software Engineering.

LC Class. No.: QA76.76.V47 / V474 2007

Dewey Class. No.: 005.14

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

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

Contact Us

Copyright ©The National University of Malaysia Library