Semantik und Programmverifikation
Published
2001
Publisher
Vieweg+Teubner Verlag
ISBN-13
9783322867681
ISBN-10
3322867684
You May Also Like
Programmverifikation
Programmverifikation
Verifiable programming
Verifiable programming
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
Constructing correct software
Constructing correct software
Static Analysis
Static Analysis
Programmentwicklung und Verifikation
Programmentwicklung und Verifikation
Frequently Asked Questions
Who is the author of Semantik und Programmverifikation?
Semantik und Programmverifikation was written by Christoph Walther.
When was Semantik und Programmverifikation published?
The publication date for this specific edition is 2001. The original work may have been published on a different date.