[원서] (Lecture Notes in Computer Science 8477 Theoretical Computer Scie…
페이지 정보
작성일 20-04-28 08:31본문
솔루션,컴퓨터,솔루션
설명
[원서] (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) , [원서] (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…(생략(省略))
솔루션/컴퓨터
[원서] (Lecture Notes in Computer Science 8477 Theoretical Computer Science and General Issues) Yamine Ait Ameur, Klaus-Dieter Schewe (eds.) - Abstract State ~ (3)
순서
다.