formal Methods in System design | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

Blank Cover Image

formal Methods in System design

資料種別:: 電子ジャーナル
出版情報:: SpringerLink Journals - AutoHoldings
UNITED STATES : Hybrid
ISSN:: 09259856
書誌ID:: OJ00221382

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

受入情報

Loading recipt information

書誌詳細

その他の標題:	FORM METH S FORM METHOD SYST DES FORM METHODS SYST DES FORM. METHODS SYST. DES FORMAL METHODS IN SYSTEM DESIGN AN INTERNATIONAL JOURNAL FORMAL METHODS SYST DES
主題:	Information Technology - Computer Architecture, Languages and Compilers; Information Technology - Computer Science (Hardware & Networks); Information Technology - Software Engineering; Material Science and Metallurgy - Super Conductors; Mathematical Sciences - Applied Mathematics
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ジャーナル The Journal of systems and software Elsevier ScienceDirect Journals Complete, Elsevier	7 電子ジャーナル Software and Systems Modeling SpringerLink Journals - AutoHoldings, Hybrid
2 電子ジャーナル Journal of systems architecture Elsevier ScienceDirect Journals Complete, Elsevier	8 電子ジャーナル Software and Systems Modeling EBSCOhost Academic Search Premier, Hybrid
3 電子ジャーナル Ieee Annals of the History of Computing IEEE Electronic Library (IEL) Journals, IEEE	9 電子ジャーナル Computer languages, systems & structures Elsevier ScienceDirect Journals Complete, Pergamon
4 電子ジャーナル Computing SpringerLink Journals - AutoHoldings, Hybrid	10 電子ジャーナル Real-Time Systems SpringerLink Journals - AutoHoldings, Hybrid
5 電子ジャーナル Computing EBSCOhost Academic Search Premier, Hybrid	11 電子ジャーナル Journal of combinatorial theory. Series A Elsevier ScienceDirect Journals Complete, Academic Press
6 電子ジャーナル Distributed systems engineering Institute of Physics Historic Archive Recent Purchase, BCS :	12 電子ジャーナル Lecture Notes in Computer Science SpringerLink Series, Springer

1

2

3

4

5

6

7

8

9

10

11

12