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,046
Discovery Miles 30 460
Repayment Terms: R285 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,046 Discovery Miles 30 460 | Repayment Terms: R285 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)
Promotions
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..

Data Abstraction and Problem Solving with Java: Walls and Mirrors - International Edition (Paperback, 3rd edition): Janet...
Data Abstraction and Problem Solving…
Janet Prichard, Frank Carrano Paperback R2,263 Discovery Miles 22 630
Using UML - Software Engineering with Objects and Components (Paperback, 2nd edition): Perdita Stevens
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,274 Discovery Miles 22 740
Object-Oriented Game Development (Paperback): Julian Gold
Object-Oriented Game Development
Julian Gold Paperback R2,202 R1,724 Discovery Miles 17 240
ISE Object-Oriented Software Engineering: An Agile Unified Methodology (Paperback, 2nd edition): David Kung
ISE Object-Oriented Software…
David Kung Paperback R1,849 Discovery Miles 18 490
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,489 Discovery Miles 24 890
Java Parables Volume 1 - Object-Oriented Programming in a Nutshell. (Hardcover): Pamela Osakwe Leon-Mezue
Java Parables Volume 1 - Object-Oriented…
Pamela Osakwe Leon-Mezue Hardcover R937 Discovery Miles 9 370
Agile Scrum Implementation and Its Long-Term Impact on Organizations (Hardcover): Kenneth R Walsh, Sathiadev Mahesh, Cherie C...
Agile Scrum Implementation and Its…
Kenneth R Walsh, Sathiadev Mahesh, … Hardcover R6,591 Discovery Miles 65 910
Java - The ultimate beginners guide to effectively learn Java programming step-by-step (Hardcover): Mark Reed
Java - The ultimate beginners guide to…
Mark Reed Hardcover R629 R537 Discovery Miles 5 370
Python For Beginners - Learn Python In 5 Days With Step-by-Step Guidance And Hands-On Exercises (Python Programming, Python...
Python For Beginners - Learn Python In 5…
James Tudor Hardcover R711 Discovery Miles 7 110
Data Structures and Abstractions with Java, Global Edition (Paperback, 4th edition): Timothy Henry, Frank Carrano
Data Structures and Abstractions with…
Timothy Henry, Frank Carrano Paperback R2,351 Discovery Miles 23 510
Introduction Coding - Learn Python With Us (Hardcover): Python Accademy
Introduction Coding - Learn Python With…
Python Accademy Hardcover R776 R657 Discovery Miles 6 570
Java For Students (Paperback, 6th edition): Douglas Bell, Mike Parr
Java For Students
Douglas Bell, Mike Parr Paperback R2,521 Discovery Miles 25 210

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