Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Knowledge-based Software Development For Real-time Distributed Systems

Name: Knowledge-based Software Development For Real-time Distributed Systems
Brand: World Scientific Publishing Co Pte Ltd
SKU: 05064203
Price: 130.83 EUR
Availability: InStock
Author: Jeffrey J.P. Tsai
ISBN: 9789810211288

Jeffrey J.P. Tsai

Thomas Weigert

Hung-Ching Jang

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 05064203

Nakladnici World Scientific Publishing Co Pte Ltd, siječanj 1993

The interplay of artificial intelligence and software engineering has been an interesting and an act... Cijeli opis

Libristo kod: 05064203

316 b

130.83 €

50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

Do 30 dana za povrat

Kupci su kupili i

Das V-Modell 97 Wolfgang Dröschel

Tvrdi uvez

185.05 €

PLEASE, PLEASE TELL ME NOW STEPHEN DAVIS

Knjiga

35.76 €

Die Bürgerliche Kunst Und Die Besitzlosen Volksklassen Emil Reich

Meki uvez

24.11 €

Eres tu mi mama? (Are You My Mother?): An Instructional Guide for Literature Jodene Smith

Meki uvez

12.15 €

La Doble Vida De Jesús Enrique Serna

Meki uvez

19.25 €

Näh-Bibel, m. DVD. Tl.6 Oliver Buss

List

9.11 €

Dehumanizer Black Sabbath

Audio CD

9.41 €

The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institutions and industry. This book covers the state of art in the use of knowledge-based approach for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms, 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, 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 military applications are used to illustrate the requirements languages. Finally, the development, specification and verification of knowledge-based system are investigated.