[원서] (Lecture Notes in Computer Science 8477 Theoretical Computer Scie…
페이지 정보
작성일 19-12-25 21:50
본문
[원서] (Lecture Notes in Computer Science 8477 Theoretical Computer Science and General Issues) Yamine Ait Ameur, Klaus-Dieter Schewe (eds.) - Abstract State ~ (3)
솔루션/컴퓨터
%20Yamine%20Ait%20Ameur%20Klaus%20Dieter%20Schewe%20(eds%20)%20%20Abstract%20State%20~%20(3)_pdf_01.gif)
%20Yamine%20Ait%20Ameur%20Klaus%20Dieter%20Schewe%20(eds%20)%20%20Abstract%20State%20~%20(3)_pdf_02.gif)
%20Yamine%20Ait%20Ameur%20Klaus%20Dieter%20Schewe%20(eds%20)%20%20Abstract%20State%20~%20(3)_pdf_03.gif)
%20Yamine%20Ait%20Ameur%20Klaus%20Dieter%20Schewe%20(eds%20)%20%20Abstract%20State%20~%20(3)_pdf_04.gif)
%20Yamine%20Ait%20Ameur%20Klaus%20Dieter%20Schewe%20(eds%20)%20%20Abstract%20State%20~%20(3)_pdf_05.gif)
%20Yamine%20Ait%20Ameur%20Klaus%20Dieter%20Schewe%20(eds%20)%20%20Abstract%20State%20~%20(3)_pdf_06.gif)
순서
[원서] (Lecture Notes in Computer Science 8477 Theoretical Computer Science and General Issues) Yamine Ait Ameur, Klaus-Dieter Schewe (eds.) - Abstract State ~ (3) , [원서] (Lecture Notes in Computer Science 8477 Theoretical Computer Science and General Issues) Yamine Ait Ameur, Klaus-Dieter Schewe (eds.) - Abstract State ~ (3) 컴퓨터솔루션 , 솔루션
솔루션,컴퓨터,솔루션
癤 LNCS 8477
Yamine Ait Ameur
Klaus-Dieter Schewe (Eds.)
Abstract State Machines Alloy, B,TLA, VDM, and Z
4th International Conference, ABZ 2014 Toulouse, France, June 2, 2014 Proceedings
123
Lecture Notes in Computer Science 8477
Commenced Publication in 1973 Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
癤 LNCS 8477
Yamine Ait Ameur
Klaus-Dieter Schewe (Eds.)
Abstract State Machines Alloy, B,TLA, VDM, and Z
4th International Conference, ABZ 2014 Toulouse, France, June 2, 2014 Proceedings
123
Lecture Notes in Computer Science 8477
Commenced Publication in 1973 Fou…(drop)
[원서] (Lecture Notes in Computer Science 8477 Theoretical Computer Science and General Issues) Yamine Ait Ameur, Klaus-Dieter Schewe (eds.) - Abstract State ~ (3)
설명
다.