‘Programmverifikation’ 검색 결과

20건

Programmverifikation

Krzysztof R. Apt, Ernst-Rüdiger Olderog, 1994

가격 보기

Programmverifikation

Krzysztof R. Apt, Ernst-Rüdiger Olderog, 1996

가격 보기

Semantik und Programmverifikation

Christoph Walther, 2001

가격 보기

Semantik und Programmverifikation

Christoph Walther, 2012

가격 보기

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., 1977

가격 보기

Künstliche Intelligenz

Thomas Christaller, Michael M. Richter, 1988 / 판 2개

판 고르기

Verifiable programming

Ole-Johan Dahl, 1992

가격 보기

Verification of sequential and concurrent programs

Krzysztof R. Apt, 1991 / 판 2개

판 고르기

Constructing correct software

Cooke, John, 1998

가격 보기

Static Analysis

SAS <11, 2004, Verona>, 2004

가격 보기

Specification and verification of object oriented software components

Andreas Roth, 2006

가격 보기

Programmentwicklung und Verifikation

Gerald Futschek, 1989

가격 보기

Advanced lectures on software engineering

Peter Müller, 2010

가격 보기

Program construction and verification

Roland C. Backhouse, 1986

가격 보기

Formal methods

Keijiro Araki, 2003

가격 보기

The cleanroom approach to quality software development

Michael Dyer, 1992

가격 보기

A survey of verification techniques for parallel programs

Howard Barringer, 1985 / 판 2개

판 고르기

Programming languages and systems

APLAS 2008 (2008 Bangalore, India), 2008

가격 보기

Software verification and validation

Michael S. Deutsch, 1982

가격 보기

Verified software

VSTTE 2010 (2010 Edinburgh, Scotland), 2010

가격 보기

찾는 책이 없나요?

제목이나 표지 사진만 주셔도 찾아 드립니다. 여러 권이면 기업 기관 구매에서 목록째 넣으실 수 있습니다.

찾아 달라고 하기 목록 넣기