Paperback (01 Sep 1991)
Not available for sale
Includes delivery to the United States
Out of stock
This book uses formal specification in Z to provide an interpretation of the blackboard architecture and to define a standard for the Cassandra architecture. It presents two specifications using the Z language, showing how this can be done. It considers the basic software required as a precursor to building an application system and discusses the properties of architectures as software systems, which combines formal methods and artificial intelligence.
| ISBN: | 9780133288322 |
| Publisher: | Ellis Horwood |
| Imprint: | Ellis Horwood |
| Pub date: | 01 Sep 1991 |
| Number of pages: | 496 |
| Weight: | 496g |
| Height: | 239mm |
| Width: | 167mm |
$10.52off
Paperback
Published 17 Aug 2021
Save $10.52
$8.56off
Hardback
Published 05 Oct 2023
Save $8.56
$3.80off
Paperback
Published 07 Aug 2023
Save $3.80
$21.66off
Paperback
Published 02 Nov 2023
Save $21.66
$1.87off
Paperback
Published 31 May 2023
Save $1.87
$2.29off
Paperback
Published 31 May 2023
Save $2.29
$4.47off
Paperback
Published 03 Jun 2023
Save $4.47
$2.50off
Paperback
Published 28 Aug 2023
Save $2.50
$12.53off
Hardback
Published 09 Nov 2023
Save $12.53
