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 電子ジャーナル Distributed systems engineering Institute of Physics Historic Archive Recent Purchase, BCS :
2 電子ジャーナル Journal of systems architecture Elsevier ScienceDirect Journals Complete, Elsevier	8 電子ジャーナル Software and Systems Modeling SpringerLink Journals - AutoHoldings, Hybrid
3 電子ジャーナル Computing EBSCOhost Academic Search Premier, Springer Nature	9 電子ジャーナル Computer languages, systems & structures Elsevier ScienceDirect Journals Complete, Pergamon
4 電子ジャーナル Ieee Annals of the History of Computing IEEE Electronic Library (IEL) Journals, IEEE	10 電子ジャーナル Real-Time Systems SpringerLink Journals - AutoHoldings, Hybrid
5 電子ジャーナル Computing SpringerLink Journals - AutoHoldings, Hybrid	11 電子ジャーナル Scientific Programming EBSCOhost Academic Search Premier, IOS Press
6 電子ジャーナル Software and Systems Modeling EBSCOhost Academic Search Premier, Springer Berlin Heidelberg	12 電子ジャーナル Markup languages EBSCOhost Academic Search Premier, MIT Press

1

2

3

4

5

6

7

8

9

10

11

12