‘Software Verification’ 검색 결과

20건

Software Engineering

Roger S. Pressman, Bruce Maxim, 1982 / 판 55개

Systems and Software Verification

Béatrice Bérard, 2001

Systems and software verification

Béatrice Bérard, 2001

Embedded Software Verification and Debugging

Djones Lettnin, Markus Winterholer, 2016 / 판 3개

IEEE Standard for software verification and validation

IEEE Computer Society. Software Engineering Standards Committee, 1986 / 판 2개

Software Verification

Gerardus Blokdyk, 2018

Challenges of Software Verification

Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, 2023 / 판 2개

Software Verification and Validation

Fujii, 2009 / 판 2개

Software Verification and Analysis

Janusz Laski, William Deane Stanley, 2009 / 판 2개

Software Engineering

Shari Lawrence Pfleeger, Joanne M Atlee, 1987 / 판 13개

Deductive Software Verification - the KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, 2016 / 판 2개

Concise Guide to Software Verification

Marieke Huisman, Anton Wijs, 2023 / 판 2개

Reference information for the software verification and validation process

Dolores R. Wallace, 1996 / 판 3개

Software verification and validation

Michael S. Deutsch, 1982

Software verification and validation

Steven R. Rakitin, 1997

String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf, 2018 / 판 2개

Software Verification and Validation

Jacob Mason, 2017

Software Verification and Validation

Jesus Jean, 2017

Automated interactive software verification and synthesis

Roger Brett Hughes, 1992

Software Verification and Validation

Gerard Blokdyk, 2017

찾는 책이 없나요?

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

찾아 달라고 하기목록 넣기