컨텐츠로 이동
Formal aspects of computing 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Formal aspects of computing

저자: LINK (Service en ligne)
출판사: London : British Computer Science, 1989-
판/형식:   전자저널, 전자잡지 : 문서 : 정기 간행물 : 영어모든 판과 형식 보기
데이터베이스:WorldCat
평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

온라인으로 문서 찾기

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

장르/형태: Périodique électronique (Descripteur de forme)
Ressource Internet (Descripteur de forme)
추가적인 물리적 형식: Formal aspects of computing
자료 유형: 문서, 정기 간행물, 인터넷 자료
문서 형식: 인터넷 자원, 컴퓨터 파일, 저널 / 잡지 / 신문
모든 저자 / 참여자: LINK (Service en ligne)
ISSN:1433-299X
OCLC 번호: 757716423
메모: "The international journal of formal methods."
Description d'après: Vol. 10, no. 1 (Jan. 1998) ; titre de l'écran-titre (visionné le 19 mars 2001).
In SpringerLink (RCDR).
세부사항: Mode d'accès: Web.
다른 제목 Formal aspects of computing (En ligne)

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기

유사 항목

관련 주제:(1)

요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


<http://www.worldcat.org/oclc/757716423>
library:oclcnum"757716423"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/757716423>
rdf:typeschema:Periodical
rdf:typeschema:MediaObject
rdf:typelibrary:Serial
rdf:typeschema:CreativeWork
schema:about
schema:about
schema:contributor
schema:datePublished"1989/"
schema:datePublished"1989/9999"
schema:exampleOfWork<http://worldcat.org/entity/work/id/56495345>
schema:genre"Ressource Internet (Descripteur de forme)"
schema:genre"Périodique électronique (Descripteur de forme)"
schema:inLanguage"en"
schema:issn"1433-299X"
schema:name"Formal aspects of computing (En ligne)"
schema:name"Formal aspects of computing"
schema:publisher
schema:url<http://accesbib.uqam.ca/cgi-bin/bduqam/transit.pl?bd=perio&noMan=02-1688958>
schema:url
umbel:isLike

Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.