Formal Models of Communicating Systems | 金沢大学附属図書館 OPAC plus

>> Google Books

Formal Models of Communicating Systems

フォーマット:: 電子ブック
責任表示:: Bollig, Benedikt
言語:: 英語
出版情報:: Springer Berlin Heidelberg, 2006
著者名:: Bollig, Benedikt
ISBN:: 9783540329220 [3540329226]
9786610627264 [6610627266]
9781280627262 [1280627263]
9783540329237 [3540329234]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	FORMAL MODELS OF COMMUNICATING SYSTEMS
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000283848
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Formal Modeling and Analysis of Timed Systems FORMATS 2003, Larsen, Kim G., Niebert, Peter Springer Berlin Heidelberg	7 電子ブック Foundations of the Formal Sciences II Wójcicki, Ryszard; Mundici, Daniele; Orłowska, Ewa, Löwe, Benedikt, Malzkorn, Wolfgang, Räsch, Thoralf Springer Netherlands
2 電子ブック Formal Models of Operating System Kernels Craig, I. Springer London	8 電子ブック Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems FORMATS 2004, Lakhnech, Yassine, Yovine, Sergio Springer Berlin / Heidelberg
3 電子ブック A Formal Model of Visualization in Computer Graphics Systems Onodera Springer Berlin Heidelberg	9 電子ブック Formal Models of Agents John-Jules Ch. Meyer, Meyer, John-Jules Ch, Schobbens, Pierre-Yves Springer Berlin Heidelberg
4 電子ブック Arztrechtliche System als Grenze der arbeitsteiligen Medizin Ballhausen, Benedikt Universitätsverlag Göttingen	10 図書 Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modelling and analysis of timed … FORMATS, Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lakhnech, Yassine, Yovine, Sergio Springer
5 電子ブック Arztrechtliche System als Grenze der arbeitsteiligen Medizin : zugleich ein Beitrag zur privatrechtsdogmatischen Integration des Arztrechts Ballhausen, Benedikt Universitätsverlag Göttingen	11 電子ブック Formal Development of Reactive Systems Lewerentz, Lewerentz, Claus, Lindner, Thomas Springer Berlin Heidelberg
6 図書 Tarifpluralität im System der Arbeitsrechtsordnung Schmidt, Thomas Benedikt Duncker & Humblot	12 電子ブック Formal Systems Specification Broy, Broy, M., Merz, Stephan, Spies, Katharina Springer Berlin Heidelberg