Teaching Formal Methods

フォーマット:
電子ブック
責任表示:
TFM 2004 ; Boute, Raymond T. ; Dean, Neville
言語:
英語
出版情報:
Springer Berlin / Heidelberg, 2004
著者名:
ISBN:
9783540236115 [3540236112]  CiNii Books  Webcat Plus  Google Books
9783540304722 [354030472X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
ジャーナル/ブックへリンク
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Formal Methods for Industrial Applications

Abrial, Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Springer Berlin Heidelberg
7 図書 Handbook of mobile teaching and learning

Zhang, Aimee, Cristol, Dean

Springer
2 図書 Formal methods in the study of language

Groenendijk, J. A. G. (Jeroen A. G.), Janssen, T. M. V. (Theo M. V.), Stokhof, M. B. J. (Martin B. J.)

Mathematisch Centrum
8 図書 Research methods in neurochemistry

Marks, Neville, Rodnight, Richard

Plenum
3 電子ブック Quantitative land-capability analysis : a method of applying earth-science information to planning and decisionmaking

Laird, Raymond T.

United States Department of the Interior, Geological Survey
9 図書 The Encyclopedia of comparative education and national systems of education

Postlethwaite, T. Neville

Pergamon Press
4 電子ブック Methods in educational research : from theory to practice

Lodico, Marguerite G, Spaulding, Dean T., Voegtle, Katherine H.

Jossey-Bass
10 図書 Handbook of human factors and ergonomics methods

Stanton, Neville, 1960-

CRC Press
5 図書 Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, …

International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, …

Springer
11 電子ブック Macromedia Studio MX 2004 all-in-one desk reference for dummies

Dean, Damon

Wiley
6 図書 Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : …

ICFEM, Davies, Jim, 1964-, Schulte, Wolfram, Barnett, Mike

Springer
12 図書 Teaching atlas of mammography

Tabár, László, Dean, Peter B.

Georg Thieme