Constraint-Based Verification 책 가격비교

책 이미지

책 정보

· 제목 : Constraint-Based Verification (Hardcover)
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전기공학
· ISBN : 9780387259475
· 쪽수 : 254쪽

저자소개

Jun Yuan (지은이) 정보 더보기

펼치기

Carl Pixley (지은이) 정보 더보기

펼치기

아드난 아지즈 (지은이) 정보 더보기

페이스북에서 연구과학자로 일하고 있다. 텍사스 주립대학교 오스틴 캠퍼스에서 전기, 컴퓨터 공학과의 교수로 재직하며 연구 및 응용 알고리즘 수업을 가르친 적이 있다. 인도 공과 대학 칸푸르에서 학사 학위를 받았고, 캘리포니아 주립대학교 버클리 캠퍼스에서 박사 학위를 받았다. 또한 구글, 퀄컴, IBM, 몇몇 소프트웨어 관련 스타트업 회사에서 일한 경험이 있다. 알고리즘 설계를 하지 않을 때는 주로 세 아이와 시간을 보낸다.

펼치기

아드난 아지즈의 다른 책 >