이전
전체보기

알라딘

장바구니
Hans Langmaack의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings (Paperback, 1990)
  • Hans Langmaack, C. A. R. Hoare, Dines Bj?ner
  • Springer Verlag | 1990년 04월
  • 74,290원 (18% 할인 / 3,720원)
  • 택배로 주문하면 7월 10일 출고 변경
  • 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월
  • 148,600원 (18% 할인 / 7,430원)
  • 택배로 주문하면 7월 10일 출고 변경
  • 1. Fachtagung ?er Programmiersprachen: M?chen, 9.-11. M?z 1971 (Paperback)
  • Manfred Paul, Hans Langmaack (엮은이)
  • Springer Verlag | 1972년 10월
  • 76,370원 (18% 할인 / 3,820원)
  • 택배로 주문하면 7월 10일 출고 변경
  • Formal Techniques in Real-Time and Fault-Tolerant Systems (Paperback) - Third International Symposium Organized Jointly With the Working Group Provably Correct S
  • W. P. De Roever, Jan Vytopil, Hans Langmaack (엮은이)
  • Springer Verlag | 1994년 09월
  • 170,970원 (18% 할인 / 8,550원)
  • 택배로 주문하면 7월 2일 출고 변경
  • Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures (Paperback, 1998)
  • Hans Langmaack (엮은이)
  • Springer Verlag | 1998년 12월
  • 148,600원 (18% 할인 / 7,430원)
  • 택배로 주문하면 7월 10일 출고 변경

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

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

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

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

1:1 문의

FAQ

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