본문 바로가기

' Wijs, Anton ' 에 대한 6개의 검색 결과

필터

전체 6

  • From Model Checking to Annotation Checking | 2023 edition | Paperback
    Huisman, Marieke 저자(글) | Wijs, Anton 저자(글)

    저자 모두보기

    Springer · 2024년 07월 26일
    5% 125,860 원  정가 132,480원 | 3,780p (3%)
    14일이내
    출고예정
  • 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings | 2024 edition | Paperback
    Neele, Thomas 저자(글) | Wijs, Anton 저자(글)

    저자 모두보기

    Springer · 2024년 10월 13일
    5% 106,490 원  정가 112,100원 | 3,190p (3%)
    7일이내
    출고예정
  • 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings | 1st ed. 2021 edition | Paperback
    Salauen, Gwen 저자(글) | Wijs, Anton 저자(글)

    저자 모두보기

    Springer International Publishing · 2021년 11월 05일
    5% 96,810 원  정가 101,910원 | 2,900p (3%)
    7일이내
    출고예정
  • 18th International Conference, Ifm 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings | 2024 edition | Paperback
    Herber, Paula 저자(글) | Wijs, Anton 저자(글)

    저자 모두보기

    Springer · 2023년 11월 11일
    5% 251,740 원  정가 264,990원 | 7,550p (3%)
    4주~6주이내
    출고예정
  • From Model Checking to Annotation Checking | 2023 edition | 양장본 HardCover
    Huisman, Marieke 저자(글) | Wijs, Anton 저자(글)

    저자 모두보기

    Springer · 2023년 07월 25일
    5% 174,270 원  정가 183,450원 | 5,230p (3%)
    4주~6주이내
    출고예정
  • 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings | 2016 edition | Paperback
    Bo?na?ki, Dragan 저자(글) | Wijs, Anton 저자(글)

    저자 모두보기

    Springer · 2016년 04월 08일
    5% 106,490 원  정가 112,100원 | 3,190p (3%)
    14일이내
    출고예정

'Wijs, Anton' 검색결과에 만족하셨나요?

EBS X 교보문고 신규 회원님 18,500원 웰컴 혜택
자세히 보기
TOP

스펙비교

비교상품을 추가해보세요.

스펙비교