$239.00
+ $16.49 Shipping

Reactive Systems

  • Brand: Unbranded

Reactive Systems

  • Brand: Unbranded
Price: $239.00
Sold by:
$239.00
+ $16.49 Shipping

In stock

We accept the following payment methods

Description

This accessible text describes the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Offering a balanced introduction for graduate students the book describes all the various approaches their strengths and weaknesses and when they are best used. Language: English
  • Brand: Unbranded
  • Category: Computing & Internet
  • Artist: Anna Ingolfsdottir
  • Format: Hardback
  • Language: English
  • Publication Date: 2007/08/09
  • Publisher / Label: Cambridge University Press
  • Number of Pages: 302
  • Fruugo ID: 337988231-741648789
  • ISBN: 9780521875462

Delivery & Returns

Dispatched within 4 days

  • STANDARD: $16.49 - Delivery between Fri 24 October 2025–Wed 29 October 2025

Shipping from United Kingdom.

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy