[원서] Formal Methods for Industrial Critical Systems A Survey of Appli…
페이지 정보
작성일 20-01-29 00:22
본문
[원서] Formal Methods for Industrial Critical Systems A Survey of Applications-Wiley-IEEE Computer Society Press (2013)
[원서] Formal Methods for Industrial Critical Systems A Survey of Applications-Wiley-IEEE Computer Society Press (2013) , [원서] Formal Methods for Industrial Critical Systems A Survey of Applications-Wiley-IEEE Computer Society Press (2013)컴퓨터솔루션 , 솔루션
순서
솔루션,컴퓨터,솔루션
[원서] Formal Methods for Industrial Critical Systems A Survey of Applications-Wiley-IEEE Computer Society Press (2013)
솔루션/컴퓨터
Download : Formal Methods for Industrial Critical Systems A Survey of Applications Wiley IEEE Computer Society Press (2013).pdf( 64 )
설명
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
A Survey of Applications
Edited by STEFANIA GNESI
Istituto di Scienza e Tecnologie dell`Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy
TIZIANA MARGARIA
University of Potsdam, Potsdam, Germany
A JOHN WILEY & SONS, INC., PUBLICATION
Cover Photograph: Courtesy of Stefania Gnesi and Tiziana Margaria Cover Design: John Wiley & Sons, Inc. Copyright ⓒ 2013 by IEEE. All rights res
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
A Survey of Applications
Edited by STEFANIA GNESI
Istituto di Scienza e Tecnologie dell`Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy
TIZIANA MARGARIA
University of Potsdam, Potsdam, Germany
A JOHN WILEY & SONS, INC., PUBLICATI…(투비컨티뉴드 )
다.
