이전
전체보기

알라딘

장바구니
Bill Roscoe의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 15- (Paperback, 2018)
  • Klaus Havelund, Bill Roscoe, Jan Peleska (엮은이)
  • Springer | 2018년 07월
  • 138,350원 (18% 할인 / 6,920원)
  • 택배로 주문하면 7월 31일 출고 변경
  • Formal Methods: Foundations and Applications: 18th Brazilian Symposium, Sbmf 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Paperback, 2016)
  • Bill Roscoe, Marcio Cornelio (엮은이)
  • Springer-Verlag New York Inc | 2016년 02월
  • 61,500원 (18% 할인 / 3,080원)
  • 택배로 주문하면 7월 31일 출고 변경
  • Millennial Perspectives in Computer Science : Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Hardcover)
  • Jim Davies, Jim Woodcock, Bill Roscoe (엮은이)
  • Red Globe Press | 2000년 11월
  • 180,620원 (15% 할인 / 9,040원)
  • 택배로 주문하면 7월 11일 출고 변경

검색결과에 만족하시나요?

뒤로가기
위로가기
로그인전체 메뉴회사 소개출판사 안내PC 버전

(주)알라딘커뮤니케이션

일반문의 (발신자 부담) 1544-2514

1:1 문의

FAQ

중고매장 위치, 영업시간 안내