Modular Specification And Verification Of Object Oriented Programs(2002nd Edition)
Authors:
Peter Muller
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540431675, 978-3540431671
Book publisher: Springer
Book Price $0 : Software Systems Play An Increasingly Important Role In Modern Societies. Smart Cards For Personal Identi?cation, E-banking, Software-controlled Me- Cal Tools, Airbags In Cars, And Autopilots For Aircraft Control Are Only Some Examples That Illustrate How Everyday Life Depends On The Good Behavior Of Software. Consequently, Techniques And Methods For The Development Of Hi- Quality, Dependable Software Systems Are A Central Research Topic In Computer Science. A Fundamental Approach To This Area Is To Use Formal Speci?cation And Veri?cation. Speci?cation Languages Allow One To Describe The Crucial P- Perties Of Software Systems In An Abstract, Mathematically Precise, And Implementation-independent Way. By Formal Veri?cation, One Can Then Prove That An Implementation Really Has The Desired, Speci?ed Properties. Although This Formal Methods Approach Has Been A Research Topic For More Than 30 Years, Its Practical Success Is Still Restricted To Domains In Which Devel- Ment Costs Are Of Minor Importance. Two Aspects Are Crucial To Widen The Application Area Of Formal Methods: – Formal Speci?cation Techniques Have To Be Smoothly Integrated Into The Software And Program Development Process. – The Techniques Have To Be Applicable To Reusable Software Components. This Way, The Quality Gain Can Be Exploited For More Than One System, Thereby Justifying The Higher Development Costs. Starting From These Considerations, Peter Muller ¨ Has Developed New Te- Niques For The Formal Speci?cation And Veri?cation Of Object-oriented So- Ware. The Speci?cation Techniques Are Declarative And Implementati- Independent. They Can Be Used For Object-oriented Design And Programming.
Customers also bought these books (16)
Artificial Intelligence A Modern Approach - 2nd Edition
Stuart J. Russell and Peter Norvig
ISBN: 8120323823, 9788120323827, 978-0137903955
$0 $24.95
Managerial Accounting - 13th Edition
Ray H. Garrison
ISBN: 978-0073379616, 73379611, 978-0697789938
$0 $58.53
Human Relations Interpersonal Job-Oriented Skills - 4th Canadian edition
Andrew J. DuBrin
ISBN: 013310530X, 133105308, 9780134601175 , 978-0133547962
$89.08 $127.25
Microsoft Visual C# An Introduction to Object-Oriented Programming - 7th edition
Joyce Farrell
ISBN: 978-1337102100
$62.29 $88.98
Creating Value The Theory And Practice Of Marketing Semiotics Research - 1st Edition
Laura R Oswald
ISBN: 0199657270, 978-0199657278
$0 $9.30
Einfuerung In Die Theoretische Informatik - 1st Edition
Alexander Asteroth
ISBN: 3827370337, 978-3827370334
$0 $50.32
Informatik Eine Grundlegende Einfuhrung Teil I Problemnahe Programmierung - 1st Edition
Manfred Broy
ISBN: 3540551913, 978-3540551911
$0 $56.95
Learn Windows Powershell In A Month Of Lunches - 2nd Edition
Don Jones
ISBN: 1617291080, 978-1617291081
$0 $7.00
Organizational Behavior - 19th Edition
Stephen P. Robbins
ISBN: 0137474644, 978-0137474646
$117.09 $167.27
Simplicity Marketing End Brand Complexity Clutter And Confusion - 1st Edition
Steven M Cristol
ISBN: 0684859181, 978-0684859187
$0 $8.25Popular Among Students (14)
Thin Films For Machining Difficult To Cut Materials Challenges Applications And Future Prospects - 1st Edition
Ch Sateesh Kumar
ISBN: B0C2QJVF8X, 978-1000878226
$117.8 $168.29
Llc And S Corporation And Tax Deduction Beginners Guide Simplify Taxes Grow Your Profits And Protect Your Business A Step By Step Blueprint For New Entrepreneurs - 1st Edition
Sarina D Neville
ISBN: B0F9F1D3W7, 979-8284605790
$0 $18.99
Photochemistry Of Proteins And Nucleic Acids - 1st Edition
Arthur Mclaren
ISBN: 0080101399, 978-0080101392
$0 $45.00
International Company Taxation An Introduction To The Legal And Economic Principles - 2013th Edition
Ulrich Schreiber
ISBN: 3642363059, 978-3642363054
$0 $71.46
Bayesian Inference In Wavelet Based Models - 1st Edition
Peter Muller
ISBN: 0387988858, 978-0387988856
$0 $8.86
Applications Of Multi Objective Evolutionary Algorithms - 1st Edition
Carlos A Coello
ISBN: 9812561064, 978-9812561060
$63 $90.00
Finite State Methods And Natural Language Processing 5th International Workshop Fsmnlp 2005 Helsinki Finland September 1 2 2005 Revised Papers - 1st Edition
Anssi Yli Jyra
ISBN: 3540354670, 978-3540354673
$0 $45.71
Modelling Business Information Entity Relationship And Class Modelling For Business Analysts - 1st Edition
Keith Gordon
ISBN: 1780173539, 978-1780173535
$0 $45.99
Understanding The British A Hilarious Guide From Apologising To Wimbledon - 1st Edition
Adam Fletcher
ISBN: 1724018205, 978-1724018205
$0 $12.50