Programmverifikation - Asian Research TOC Index

Search results for "Programmverifikation"

entries per page

Filter:

Showing 12 of 12 records in 0.012 seconds;

Chapter	Chapter Author	Book	Book Author	Year	Publisher
Programmverifikation	Volker Penner	Künstliche Intelligenz: Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8. –16. März 1985 und 8. –16. März 1986	Thomas Christaller; Hans-Werner Hein; Michael M. Richter	1988	Springer Berlin Heidelberg
Programmverifikation	Stephan Kleuker	Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Stephan Kleuker	2009	Vieweg+Teubner Verlag
Programmverifikation	Volker Penner	Künstliche Intelligenz: theoretische Grundlagen und Anwendungsfelder: Frühjahrsschulen, Dassel, 8. -16. März 1985 und 8. -16. März 1986	Thomas Christaller; Michael M. Richter	1988	Springer
5 Programmverifikation		Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Kleuker S.	2009	Vieweg
Anwendung: Spezifikation und Programmverifikation	Rudolf Berghammer	Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung	Rudolf Berghammer	2. Aufl. 2017	Springer Fachmedien Wiesbaden
Programmverifikation und Künstliche Intelligenz	Wolfram Menzel; Werner Stephan	Technologie, Wachstum und Beschäftigung: Festschrift für Lothar Späth	Rudolf Henn	1987	Springer Berlin Heidelberg
6 Prädikatenlogik und Programmverifikation		Ideen der Informatik: Grundlegende Modelle und Konzepte der Theoretischen Informatik	Uwe Schöning	2008	Oldenbourg Wissenschaftsverlag
Anwendung: Spezifikation und Programmverifikation	Rudolf Berghammer	Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung	Rudolf Berghammer	4. Aufl. 2021	Springer Fachmedien Wiesbaden
Anwendung: Spezifikation und Programmverifikation	Rudolf Berghammer	Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung	Rudolf Berghammer	3. Aufl. 2019	Springer Fachmedien Wiesbaden
Programmverifikation in lauffähigen PASCAL-Programmen	Bernhard Hohlfeld	Programmiersprachen und Programmentwicklung: 8. Fachtagung, veranstaltet vom Fachausschuß 2. 1 der GI und der Schweizer Informatiker Gesellschaft Zürich, 8. /9. März, 1984	U. Ammann	1984	Springer Berlin Heidelberg
Einige formale Methoden zur Programmverifikation	Wolfgang A. Halang; Rudolf M. Konakovsky	Sicherheitsgerichtete Echtzeitsysteme	Wolfgang A. Halang; Rudolf M. Konakovsky	2. Aufl. 2013	Springer Berlin Heidelberg
Einige formale Methoden zur Programmverifikation	Wolfgang A. Halang; Rudolf M. Konakovsky	Sicherheitsgerichtete Echtzeitsysteme	Wolfgang A. Halang; Rudolf M. Konakovsky	3. Aufl. 2018	Springer Berlin Heidelberg
Chapter	Chapter Author	Book	Book Author	Year	Publisher

Showing 12 of 12 records in 0.012 seconds;

entries per page

Filter:

Showing 0

Book	Book Author(s)	Year	Publisher
No data available in table
Book	Book Author(s)	Year	Publisher

Showing 0

entries per page

Filter:

Showing 0

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0

Latest Open Access Book

مطالعہ یہودیت

Written for students who likely have either no knowledge of Judaism or else come to the subject with preconceptions highly colored by political and religious polemics, this book offers a comprehensive introduction to the Jewish tradition from religious, historical, and cultural perspectives.

Quick Facts

6,354,914

Books

56,056,283

Chapters

5,151,346

Links

13,019,353

Accessible Chapters

Looking for Research Articles?

مطالعہ یہودیت