Titlebook: Künstliche Intelligenz; Theoretische Grundla Thomas Christaller,Hans-Werner Hein,Michael M. Ric Conference proceedings 1988 Springer-Verlag

MOAN

Programmverifikation,igkeit von Software, die Darstellung grundlegender Konzepte und deren Integration in Entwicklungs- und Verifikationssysteme..Die Einleitung gibt einen globalen Überblick, in Abschnitt 2 wird eine Einordnung der Verifikationsverfahren in die sonstigen Methoden des Software Engineering vorgenommen, un

Free-Radical

ARM

STALL

Infraction

Spina-Bifida

摄取

Conference proceedings 1988ngener Frühjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrößert die thematische Vielfalt des bereits Verfügbaren um neuartige Einführungen in LISP und PROLOG, sowie ausführliche Beiträge über Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.

Carcinogen

葡萄糖

carotenoids

Programmverifikation,von Programmen und von Datenabstraktionen. Aus Platzgründen konzentriert der Text sich auf die axiomatische Methode und den State-Machine-Ansatz. Der 7. Abschnitt schließlich beschäftigt sich mit Systemen zur Verifikation und dabei insbesondere mit dem Gypsy Verification Environment.