KNOWLEDGE BASED SOFTWARE DEVELOPMENT FOR REAL TIME DISTRIBUTED SYSTEMS (HB 1993)

Tsai, Jeffrey J P; Weigert, Thomas J

ISBN 10: 9810211287 ISBN 13: 9789810211288

Editorial: World Scientific Publishing Company, 1993

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por SMASS Sellers, IRVING, TX, Estados Unidos de America

Vendedor de AbeBooks desde 22 de febrero de 2022

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Condici�n: Nuevo

Precio: EUR 74,31 Convertir moneda

Gratis gastos de env�o en Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 5 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

N� de ref. del art�culo ASNT3-245990

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

KNOWLEDGE BASED SOFTWARE DEVELOPMENT FOR REAL TIME DISTRIBUTED SYSTEMS (HB 1993)

Editor

World Scientific Publishing Company

Fecha de publicaci�n

1993

Idioma

Ingl�s

ISBN 10

9810211287

ISBN 13

9789810211288

Encuadernaci�n

Encuadernaci�n de tapa dura

Estado

New

Cat�logos de vendedores

Acerca de

Sinopsis

The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

We sell Brand New University Textbooks to students at very affordable prices. All orders are shipped by Trackable methods only and the tracking number is available within 48 hours of placing the order. We also offer free shipping to USA, Canada and Europe and lowest shipping charges in other countries. We have multiple warehouses to save on the transit time.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

SMASS Group LLC
1944 Loma Linda Dr, Irving, TX, 75063, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We sell Brand New Textbooks requied for studies in the Univesity. We have been in this business for the past 14 years and we know how to keep our customers happy and satisfies by providing them the required course material and the most affordable prices.

Derecho a cancelaci�n

Condiciones de env�o

We ship all orders from our Multiple warehouses by Tracakble method only. We have tie up with Fedex, DHL, UPS and USPS for our logistics requirements. All tracking numbers are available within 48 hours of processing the order.

Tarifas de env�o en Estados Unidos de America

Tarifas de env�o en Estados Unidos de America
Cantidad del pedido	De 5 a 10 d�as h�biles	De 3 a 6 d�as h�biles
Primer art�culo	EUR 0.00	EUR 0.00

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.