Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
This item is currently out of stock
Object-Oriented Technology
Be the first to rate this product 
×
Check Products in stock Products in stock

Sponsored products for you

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Computer Sciences
    ISBN
    9783319204413.0
    Item EAN
    2724330360624
    People
    Author
    Suad Alagic
    People
    Publisher
    Springer
    Category Type
    Computer Sciences
    ISBN
    9783319204413.0
    Item EAN
    2724330360624
    People
    Author
    Suad Alagic
    People
    Publisher
    Springer
    Languages and countries
    Book Language
    English
    Read more
  •  

    Description:

    The core idea of this book is thAt object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of

    The core idea of this book is thAt object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter.

    The approach in this book is based on typed technologies, and the core notions fit mainstream object-oriented languages such as Java and C#. The book promotes object-oriented constraints (assertions), their specification and verification. Object-oriented constraints apply to specification and verification of object-oriented programs, specification of the object-oriented platform, more advanced concurrent models, database integrity constraints and object-oriented transactions, their specification and verification.

 

Customer Reviews

0
No ratings yet
Be the first to rate this product
Rate this product:

×

Please verify your mobile number to complete your checkout

We will send you an SMS containing a verification code. Please double check your mobile number and click on "Send Verification Code".

+ Edit