Willem-Paul De Roever의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 (Paperback, Softcover Repri)
  • David Gries, Willem-Paul De Roever (엮은이)
  • Springer-Verlag New York Inc | 2013년 01월
  • 307,480원 (18% 할인 / 15,380원)
  • 택배로 주문하면 11월 18일 출고 변경
  • Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys (Paperback, 1994)
  • Willem-Paul De Roever, Jan Vytopil, Hans Langmaack
  • Springer Verlag | 1994년 09월
  • 153,730원 (18% 할인 / 7,690원)
  • 택배로 주문하면 11월 18일 출고 변경
  • Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Paperback, 1990) - Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings
  • Grzegorz Rozenberg, Jaco W. De Bakker , Willem-Paul De Roever (엮은이)
  • Springer Verlag | 1990년 04월
  • 153,730원 (18% 할인 / 7,690원)
  • 택배로 주문하면 11월 18일 출고 변경
  • Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3 (Paperback, 1989)
  • Grzegorz Rozenberg, Willem-Paul De Roever, Jacobus W. De Bakker (엮은이)
  • Springer | 1989년 03월
  • 153,730원 (18% 할인 / 7,690원)
  • 택배로 주문하면 11월 18일 출고 변경

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

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

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

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

1:1 문의

FAQ

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