語系
Grabowski, Jens.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal Approaches to Software Testing4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
(1998 :); Grabowski, Jens.; Nielsen, Brian.; SpringerLink (Online service)
(書目-電子資源)
System analysis and modelingtechnology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings /
by:
(1998 :); Grabowski, Jens.; Herbold, Steffen.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Computer Science.
Computer Communication Networks.
System analysis