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, Alessandro Fantechi, Roberto Gorrieri
    Product form
      FORMAT: Hardback

      R 6,024.78 Price and availability exclusive to website

      YOU COULD EARN 6,024.78 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 1,004.13 per month!
      3x monthly payments of R 2,008.26 with
      4x fortnightly payments of R 1,506.19 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: CONTRIBUTORS: Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri EAN: 9780792384298 COUNTRY: Netherlands PAGES: WEIGHT: 1780 g HEIGHT: 234 cm
      PUBLISHED BY: Springer DATE PUBLISHED: 1999-02-28 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Information Theory, COMPUTERS / Information Technology, COMPUTERS / Languages / General WIDTH: 156 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: CONTRIBUTORS: Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri EAN: 9780792384298 COUNTRY: Netherlands PAGES: WEIGHT: 1780 g HEIGHT: 234 cm
      PUBLISHED BY: Springer DATE PUBLISHED: 1999-02-28 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Information Theory, COMPUTERS / Information Technology, COMPUTERS / Languages / General WIDTH: 156 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