FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

Formal Methods for Open Object-Based Distributed Systems

Paolo Ciancarini
    Product form
      FORMAT: Paperback / softback

      R 6,025.68 Price and availability exclusive to website

      YOU COULD EARN 6,025.68 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 1,004.28 per month!
      3x monthly payments of R 2,008.56 with
      4x fortnightly payments of R 1,506.42 with
      Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.
      Format: Paperback / softback CONTRIBUTORS: Paolo Ciancarini EAN: 9781475752663 COUNTRY: United States PAGES: WEIGHT: 688 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag New York Inc. DATE PUBLISHED: 2013-01-17 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Information Theory, COMPUTERS / Information Technology, COMPUTERS / Languages / General WIDTH: 155 cm SPINE:

      Book Themes:

      Information theory, Algorithms and data structures, Compilers and interpreters, Systems analysis and design, Computer architecture and logic design, Artificial intelligence

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.
      Format: Paperback / softback CONTRIBUTORS: Paolo Ciancarini EAN: 9781475752663 COUNTRY: United States PAGES: WEIGHT: 688 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag New York Inc. DATE PUBLISHED: 2013-01-17 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Information Theory, COMPUTERS / Information Technology, COMPUTERS / Languages / General WIDTH: 155 cm SPINE:

      Book Themes:

      Information theory, Algorithms and data structures, Compilers and interpreters, Systems analysis and design, Computer architecture and logic design, Artificial intelligence

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account