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.
"synopsis" may belong to another edition of this title.
£ 4.10 shipping within United Kingdom
Destination, rates & speedsSeller: Carmarthenshire Rare Books, Carmarthen, United Kingdom
Soft cover. Condition: Very Good. Dust Jacket Condition: No Jacket Issued. First Edition. softcover, 319 pages, ex reference library with the usual marks, otherwise very good clean and complete. Seller Inventory # 77532
Quantity: 1 available
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Seller Inventory # wbs6956273190
Quantity: 1 available
Seller: Salish Sea Books, Bellingham, WA, U.S.A.
Paperback. Condition: Very Good. 0133288323 Very Good; Hardcover; 1991, Prentice-Hall Publishing; Clean covers; Inside of book is like new; 319 pages; "Formal Specification of Advanced AI Architectures," by Iain D. Craig. Seller Inventory # SKU-3330615
Quantity: 1 available