Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Object-oriented programming (OOP)

Buy Now

Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino (Paperback, 2007 ed.) Loot Price: R3,082
Discovery Miles 30 820
Repayment Terms: R289 pm x 12*
Add to cart
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino (Paperback, 2007 ed.): Bernhard...

Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino (Paperback, 2007 ed.)

Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt

Series: Lecture Notes in Computer Science, 4334

 (sign in to rate)
Loot Price R3,082 Discovery Miles 30 820 | Repayment Terms: R289 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 4334
Release date: 2007
First published: 2007
Editors: Bernhard Beckert • Reiner Hahnle • Peter H. Schmitt
Dimensions: 235 x 155 x 34mm (L x W x T)
Format: Paperback
Pages: 658
Edition: 2007 ed.
ISBN-13: 978-3-540-68977-5
Categories: Books > Computing & IT > Computer programming > Object-oriented programming (OOP)
LSN: 3-540-68977-X
Barcode: 9783540689775

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

ISE Object-Oriented Software Engineering: An Agile Unified Methodology (Paperback, 2nd edition): David Kung
ISE Object-Oriented Software…
David Kung Paperback R1,882 Discovery Miles 18 820
Introduction to Programming with C++, International Edition (Paperback, 7th edition): Diane Zak
Introduction to Programming with C…
Diane Zak Paperback R1,409 R1,217 Discovery Miles 12 170
Job Ready Python (Paperback): H Balti
Job Ready Python
H Balti Paperback R792 Discovery Miles 7 920
C++ for Everyone (Paperback, 2nd Edition): Cay S. Horstmann
C++ for Everyone
Cay S. Horstmann Paperback R4,168 Discovery Miles 41 680
Business Modeling with UML - Business Patterns at Work (Paperback): H.E. Eriksson
Business Modeling with UML - Business…
H.E. Eriksson Paperback R695 R602 Discovery Miles 6 020
Design Patterns (Paperback): Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
Design Patterns
Erich Gamma, Richard Helm, … Paperback R973 Discovery Miles 9 730
Data Clustering in C++ - An Object-Oriented Approach (Hardcover): Guojun Gan
Data Clustering in C++ - An…
Guojun Gan Hardcover R4,186 Discovery Miles 41 860
Objects First with Java: A Practical Introduction Using BlueJ, Global Edition (Paperback, 6th edition): David Barnes
Objects First with Java: A Practical…
David Barnes Paperback R2,538 Discovery Miles 25 380
Head First Java, 3rd Edition - A Brain-Friendly Guide (Paperback, 3rd New edition): Kathy Sierra, Bert Bates, Trisha Gee
Head First Java, 3rd Edition - A…
Kathy Sierra, Bert Bates, … Paperback R1,408 Discovery Miles 14 080
Pharmaceutical and Medical Devices Manufacturing Computer Systems Validation (Paperback): Orlando Lopez
Pharmaceutical and Medical Devices…
Orlando Lopez Paperback R1,078 Discovery Miles 10 780
C++ Software Design - Design Principles and Patterns for High-Quality Software (Paperback): Klaus Iglberger
C++ Software Design - Design Principles…
Klaus Iglberger Paperback R1,352 Discovery Miles 13 520
Handbook of Object Technology (Hardcover): Saba Zamir
Handbook of Object Technology
Saba Zamir Hardcover R5,362 R1,848 Discovery Miles 18 480

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners