파운드북스

로그인 주문 조회 장바구니기업 기관 구매

‘Verification logiciel’ 검색 결과

20건

L'assurance qualité logicielle

Alain April, 2011

Program construction and verification

Roland C. Backhouse, 1986

The foundations of program verification

Jacques Loeckx, 1984 / 판 3개

Test logiciel

Maurice Rozenberg, 1999

Verification and validation of complex systems

John A. Wise, V. David Hopkin, Paul Stager, 1993 / 판 4개

Actes des Journées francophones sur la certification du logiciel

Journées francophones sur la certification du logiciel (1979 Geneva, Switzerland), 1979

Verification of sequential and concurrent programs

Krzysztof R. Apt, 1991 / 판 2개

Software verification and validation

Michael S. Deutsch, 1982

Guidance for the verification and validation of neural networks

Laura L. Pullum, Brian J. Taylor, Marjorie A. Darrah, 2007 / 판 2개

Compiler specification and verification

Wolfgang Polak, 1981

Tableaux de bord de la sécurité réseau

Llorens, Cédric, Levier, Laurent, Valois, Denis, Morin, Benjamin, 2010

A survey of verification techniques for parallel programs

Howard Barringer, 1985 / 판 2개

Tests for software accreditation and verification

Chartered Institution of Building Services Engineers, 2006

Verification, Model Checking, and Abstract Interpretation

Radhia Cousot, 2005 / 판 3개

Medical device software verification, validation and compliance

David A. Vogel, 2011

Computer aided verification

Thomas Ball, Jones, Robert B., 2006 / 판 2개

Verification and validation of rule-based expert systems

Suzanne Smith, 1993

Verification, model checking, and abstract interpretation

VMCAI 2004 (2004 Venice, Italy), 2004 / 판 2개

Verification of digital and hybrid systems

R. P. Kurshan, 2000

Computer Aided Verification

Orna Grumberg, 1997

찾는 책이 없나요?

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

찾아 달라고 하기 목록 넣기