語系
Graf, Susanne.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Model checking software = 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
by:
Graf, Susanne.; Mounier, Laurent.; NetLibrary, Inc.; International SPIN Workshop (2004 :)
(書目-語言資料,印刷品)
Formal techniques for distributed objects, components, and systems = 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015 : proceedings /
by:
Graf, Susanne.; Viswanathan, Mahesh.; SpringerLink (Online service)
(書目-電子資源)
Model checking software = 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
by:
Graf, Susanne.; Mounier, Laurent.; SpringerLink (Online service); International SPIN Workshop (2004 :)
(書目-語言資料,印刷品)
Tools and algorithms for the construction and analysis of systems = 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
by:
Graf, Susanne.; Schwartzbach, Michael.; SpringerLink (Online service); TACAS '2000 ((2000 :); ETAPS 2000 ((2000 :)
(書目-語言資料,印刷品)
Models, mindsets, meta = the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday /
by:
Margaria, Tiziana.; Graf, Susanne.; SpringerLink (Online service); Steffen, Bernhard,; Larsen, Kim G.
(書目-電子資源)
主題
Computer network protocols
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
SPIN (Computer file)
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
System design- Congresses.
Formal methods (Computer science)
Computer science- Philosophy.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Electronic data processing- Distributed processing
Computer software- Verification
Computer software- Development
Computer Science.