Algebraic Specification Techniques In Object Oriented Programming Environments(1st Edition)
Authors:
Ruth Breu
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: 3540549722, 978-3540549727
Book publisher: Springer
Book Price $0 : The Main Aim Of This Monograph Is To Provide A Framework For The Integrated Design Of Object-oriented Programs With Algebraic Specification Techniques. The Design Method Pursued Relies Fundamentally On The Structuring Of Systems Based On The Notion Of Data Types. Depending On The Level Of Abstraction, Data Types Are Described In An Object-oriented Way By Algebraic Specifications Or By Machine-executable Object-oriented Programs. The Treatment Involves Two Main Aspects. First, Object-oriented Programs Have To Be Related By A Notion Of Correctness That Models The Transition From Specifications To Program Implementations. The Author Presents A Notion Of Correctness Which Relies On The Idea Of Abstraction Functions. Second, In Order To Obtain An Integrated Design Environment, A Uniform Structuring Concept For Object Oriented Programs And Algebraic Specifications Has To Be Provided. Inheritance, Subtyping And Clientship Are Three Central Notions Of Object-oriented Structuring. Theauthor Uses Them To Develop The Kernel Of A Typed Object- Oriented Programming Language. The Monograph Provides The Formal Foundation For A Unified Framework Of Algebraic Specifications And Object-oriented Programs. A Major Guideline Is The Development Of A Design Method Supporting The Structured Design And Reuse Of Software In This Environment.
Customers also bought these books
Applying International Financial Reporting Standards - 3rd edition
Keith Alfredson
ISBN: 730302121, 978-0730302124
$0 $36.54
Female Entrepreneurs The Secrets Of Their Success - 1st Edition
John Smythe
ISBN: 0429808135, 9780429808135
$99.4 $142.00
Statistical Techniques In Business And Economics - 16th Edition
Douglas Lind
ISBN: 78020522, 978-0078020520
$0 $21.97
Applied Statistics From Bivariate Through Multivariate Techniques - 2nd Edition
Rebecca M. Warner
ISBN: 141299134X, 978-1412991346
$0 $37.57
Intelligence Genes And Success Scientists Respond To The Bell Curve - 1st Edition
Bernie Devlin
ISBN: 0387982345, 978-0387982342
$0 $62.00
Job Scheduling Strategies For Parallel Processing 13th International Workshop JSSPP 2007 LNCS 4942 - 1st Edition
Eitan Frachtenberg
ISBN: 3540786988, 3540786996, 9783540786986, 9783540786993
$0 $32.11
Job Scheduling Strategies For Parallel Processing 7th International Workshop JSSPP 2001 LNCS 2221 - 1st Edition
Dror G. Feitelson
ISBN: 3540428178, 354045540X, 9783540428176, 9783540455400
$0 $47.41
Inside Cyber Warfare Mapping The Cyber Underworld - 1st Edition
Jeffrey Caruso
ISBN: B0DX2LNL2Q
$0 $51.23
Stealing Your Life The Ultimate Identity Theft Prevention Plan - Unabridged Edition
Frank W Abagnale
ISBN: 1441716084, 978-1441716088
$0 $10.48
Qualitatsmanagement Im Gesundheitswesen Grundlagen Fur Studium Und Praxis - 1st Edition
Peter Hensen
ISBN: 3658382988, 978-3658382988
$0 $12.58
Thermodynamics An Engineering Approach - 9th Edition
Yunus Cengel
ISBN: 1259822672, 978-1259822674
$107.09 $152.99
Biology Exploring The Diversity Of Life - 5th Canadian Edition
Brock Fenton
ISBN: 9780176911140
$170.07 $242.95
Fundamentals Of Food Process Engineering - 1st Edition
R T Toledo
ISBN: 1461570573, 978-1461570578
$0 $41.99
Fundamentals Of Food Process Engineering - 1st Edition
R T Toledo
ISBN: 1461570573, 978-1461570578
$0 $41.99
Computer Supported Education 13th International Conference Csedu 2021 Virtual Event April 23 25 2021 Revised Selected Papers - 1st Edition
Beno Csapo
ISBN: 3031147553, 978-3031147555
$0 $77.07Popular Among Students
Creativity Activity Service For The Ib Diploma Coursebook With Digital Access An Essential Guide For Students - 1st Edition
John Cannings
ISBN: 1009191586, 978-1009191586
$0 $16.56
The Best Bug Parade Comparing Sizes - 1st Edition
Stuart J Murphy
ISBN: 0060258721, 978-0060258726
$0 $70.95
Algebraic Specification Techniques In Object Oriented Programming Environments LNCS 562 - 1st Edition
R. Breu
ISBN: 0387549722, 978-0387549729
$0 $8.72
Objektorientierter Softwareentwurf Integration Mit Uml - 2001st Edition
Ruth Breu
ISBN: 3540412867, 978-3540412861
$0 $46.99
Objektorientierter Softwareentwurf Integration Mit Uml - 2001st Edition
Ruth Breu
ISBN: 3540412867, 978-3540412861
$0 $46.99
Leveraging Applications Of Formal Methods Verification And Validation Specification And Verification - 1st Edition
Tiziana Margaria
ISBN: 3031753798, 978-3031753794
$0 $54.59
Developments In Language Theory 25th International Conference Dlt 2021 Porto Portugal August 16 20 2021 Proceedings - 1st Edition
Nelma Moreira
ISBN: B09C1J9M9M, 978-3030815080
$0 $23.04
Beowulf Cluster Computing With Linux - 1st Edition
Thomas Sterling
ISBN: 0262692740, 978-0262692748
$0 $50.00
Easy Microsoft Outlook 2000 - 1st Edition
Jennifer Fulton
ISBN: 0789719150, 978-0789719157
$0 $10.00
Sibling First Data Organization For Efficient Xml Data Processing - 1st Edition
Hooman Homayounfar
ISBN: 3838368789, 978-3838368788
$58.8 $84.00
The Data Science Manual A Comprehensive Guide To Tools And Techniques For Data Analysis Modeling And Deployment With Python - 1st Edition
Vu Hoang
ISBN: B0BZBPPQKH, 979-8388009708
$0 $29.89