Search: “Programmverifikation”

33 books found

Programmverifikation

Krzysztof R. Apt

19941 ed.

Programmverifikation

Krzysztof R. Apt

19961 ed.

Semantik und Programmverifikation

Christoph Walther

20011 ed.

Semantik und Programmverifikation

Christoph Walther

20121 ed.

Vorträge von der Thematischen Konferenz KNWWT

Problemkommission für Multilaterale Zusammenarbeit der Akademien der Wissenschaften der Sozialistischen Länder zu Wissenschaftlichen Fragen der Rechentechnik.

19771 ed.

Verifiable programming

19921 ed.

Program construction and verification

Roland C. Backhouse

19861 ed.

Programmentwicklung und Verifikation

Gerald Futschek

19891 ed.

Constructing correct software

19981 ed.

Formal methods

20031 ed.

Advanced lectures on software engineering

20101 ed.

Specification and verification of object oriented software components

20061 ed.

Verification of sequential and concurrent programs

Krzysztof R. Apt

19912 ed.

The cleanroom approach to quality software development

19921 ed.

A survey of verification techniques for parallel programs

Howard Barringer

19852 ed.

Static Analysis

SAS <11, 2004, Verona>

20041 ed.

The design of well-structured and correct programs

19782 ed.

Software verification and validation

Michael S. Deutsch

19821 ed.

Languages From Formal to Natural Lecture Notes in Computer Science

20091 ed.

Verifying concurrent processes using temporal logic

Brent T. Hailpern

19821 ed.

Page 1Next