Java And The Java Virtual Machine Definition Verification Validation(1st Edition)
Authors:
Robert F Stark ,Joachim Schmid ,Egon Borger
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540420886, 978-3540420880
Book publisher: Springer
Book Price $0 : The Origin Of This Book Goes Back To The Dagstuhl Seminar On Logic For System Engineering, Organized During The First Week Of March 1997 By S. Jiihnichen, J. Loeckx, And M. Wirsing. During That Seminar, After Egon Borger's Talk On How To Use Abstract State Machines In Software Engineering, Wolfram Schulte, At The Time A Research Assistant At The University Of Ulm, Germany, Questioned Whether ASMs Provide Anything Special As A Scientifically Well Founded And Rigorous Yet Simple And Industrially Viable Framework For High Level Design And Analysis Of Complex Systems, And For Natural Refinements Of Models To Executable Code. Wolfram Schulte Argued, Referring To His Work With K. Achatz On A Formal Object-Oriented Method Inspired By Fusion And Object-Z [1], That With Current Techniques Of Functional Programming And Of Axiomatic Specification, One Can Achieve The Same Result. An Intensive And Long Debate Arose From This Discussion. At The End Of The Week, It Led Egon Borger To Propose A Collaboration On A Real-life Specification Project Of Wolfram Schulte's Choice, As A Comparative Field Test Of Purely Functional Declarative Methods And Of Their Enhancement Within An Integrated Abstract State-based Operational (ASM) Approach. After Some Hesitation, In May 1997 Wolfram Schulte Accepted The Offer And Chose As The Theme A High-level Specification Of Java And Of The Java Virtual Machine.
Customers also bought these books (16)
Fundamentals of Ethics for Scientists and Engineers - 1st Edition
Edmund G. Seebauer
ISBN: 9780195698480, 195134885, 195698487, 978-0195134889
$0 $19.98
Management Accounting Information for Decision-Making and Strategy Execution - 6th Edition
Anthony A. Atkinson
ISBN: 137024975, 978-0137024971
$0 $18.97
Electric Machinery - 6th Edition
Charles Kingsley
ISBN: 71230106, 9780073660097, 73660094, 978-0071230100
$0 $26.88
Data Structures and Algorithm Analysis in Java - 3rd edition
Mark A. Weiss
ISBN: 132576279, 978-0132576277
$0 $36.77
Game Development With Gamemaker Studio 2 Make Your Own Games With Gamemaker Language - 1st Edition
Sebastiano M Cossu
ISBN: 1484250095, 978-1484250099
$0 $36.47
The Theory And Practice Of Compiler Writing - 1st Edition
Jean Paul Tremblay
ISBN: 0070651612, 978-0070651616
$0 $5.77
More Joel On Software Further Thoughts On Diverse And Occasionally Related Matters That Will Prove Of Interest To Software Developers Designers And Or Ill Luck Work With Them In Some Capacity - 1st Edition
Avram Joel Spolsky
ISBN: 1430209879, 978-1430209874
$0 $9.92
Teach Yourself Visually Macromedia Web Collection Flash Dreamweaver Fireworks - 1st Edition
Sherry Willard Kinkoph
ISBN: 0764536486, 978-0764536489
$0 $10.69
Auditing and Assurance Services - 7th edition
Timothy Louwers
ISBN: 978-1259573286, 1259573281, 978-1260152166
$0 $13.91
Adequate Modeling Of Systems Proceedings Of The International Working Conference On Model Realism Held In Bad Honnef Federal Republic Of Germany April 20 23 1982 - 1st Edition
Horst Wedde
ISBN: 3540125671, 978-3540125679
$0 $51.94
Intermediate Accounting Reporting and Analysis - 2nd edition
James M. Wahlen
ISBN: 9781305727557, 1285453824, 9781337116619, 130572755X, 978-1285453828
$0 $27.81
Ils Fundamentals The Instrument Landing System In Theory - 8.2 Edition
Mr Roger Holm
ISBN: 1979199248, 978-19791992471979199248,978-1979199247
$78.8 $112.57
Dreamweaver Cs3 In Simple Steps - 1st Edition
Unknown Author
ISBN: 8177228609, 978-8177228601
$0 $60.46
Dreamweaver Cs3 In Simple Steps - 1st Edition
Unknown Author
ISBN: 8177228609, 978-8177228601
$0 $60.46
Adobe Dreamweaver Cs4 - 1st Edition
Andrea De Marco Davide Vasta
ISBN: 8850328591, 978-8850328598
$0 $63.34Popular Among Students (13)
Artificial Intelligence Machine Learning And Intelligent Systems Icams 2025 Hamirpur India February 7a 8 - 1st Edition
Kusum Deep
ISBN: 9819538408, 978-98195384099819538408,978-9819538409
$157.14 $224.49
The New Testament Dabar Yahuah Yahuah Scriptures - 1st Edition
Dr Yeral E Ogando
ISBN: 1946249297, 978-1946249296
$0 $48.55
Web Development And Design - 1st Edition
Carson Thomas
ISBN: 164172076X, 978-1641720762
$58.47 $83.53
Securing Ai Agents Foundations Frameworks And Real World Deployment - 1st Edition
Ken Huang
ISBN: 3032021294, 978-3032021298
$0 $62.99
Dabar Yahuah Yahuah Scriptures The Old Testament - 1st Edition
Dr Yeral E Ogando
ISBN: 1946249270, 978-1946249272
$0 $62.00
Operating Systems Internals And Design Principles - 9th Edition
William Stallings
ISBN: 0134670957, 978-0134670959
$113.4 $162.00
Cloud Based Intelligent Informative Engineering For Society 5 0 - 1st Edition
Kaushal Kishor
ISBN: 1032461322, 978-1032461328
$126 $180.00
Learning The UNIX Operating System - 3rd Edition
Jerry Peek
ISBN: 1565920600, 978-1565920606
$0 $0.99
String Algorithms In C Efficient Text Representation And Search - 1st Edition
Thomas Mailund
ISBN: 148425919X, 978-1484259191
$0 $11.64
Fast Software Encryption 9th International Workshop Fse 2002 Leuven Belgium February 2002 Revised Papers - 2002nd Edition
Joan Daemen
ISBN: 3540440097, 978-3540440093
$0 $7.86
Exploring Draftsight Introduction To Draftsight And Principles Of Engineering Graphics - 1st Edition
Randy Shih
ISBN: 1585037559, 978-1585037551
$0 $61.00
Professional Sharepoint 2013 Development - 1st Edition
Reza Alirezaei
ISBN: 1118495829, 978-1118495827
$0 $2.58