Herzlich Willkommen!
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Zur Startseite gehen
0,00 CHF*
Kategorien

Zu "Programmverifikation" wurden 14 Produkte gefunden

Suchergebnis | Haupt Buchhandlung

Filter
–
Programmentwicklung und Verifikation
Programmentwicklung und Verifikation

70,00 CHF*
Programmverifikation
Programmverifikation

29,95 CHF*
The Programming and Proof System ATES
The Programming and Proof System ATES

107,00 CHF*
Analysis and Verification of Multiple-Agent Languages
Analysis and Verification of Multiple-Agent Languages

53,50 CHF*
Programming and Mathematical Method
Programming and Mathematical Method

107,00 CHF*
First-Order Programming Theories
First-Order Programming Theories

107,00 CHF*
Semantik und Programmverifikation
Semantik und Programmverifikation

38,00 CHF*
CONCUR '94: Concurrency Theory
CONCUR '94: Concurrency Theory

53,50 CHF*
Partial-Order Methods for the Verification of Concurrent Systems
Partial-Order Methods for the Verification of Concurrent Systems

53,50 CHF*
Constructive Methods in Computing Science
Constructive Methods in Computing Science

107,00 CHF*
Mathematics of Program Construction
Mathematics of Program Construction

53,50 CHF*
The Foundations of Program Verification
The Foundations of Program Verification

45,00 CHF*
First-Order Programming Theories
First-Order Programming Theories

107,00 CHF*
Semantik von Programmiersprachen
Semantik von Programmiersprachen

23,00 CHF*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...