Languages
Grabowski, Jens.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
Grabowski, Jens.; Nielsen, Brian.; SpringerLink (Online service); FATES 2004 ((2004 :)
(Language materials, printed)
System analysis and modeling = technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings /
by:
SAM (Workshop : System analysis) (2016 :); Grabowski, Jens.; Herbold, Steffen.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Computer software- Testing
Computer Science.
Computer Communication Networks.
System analysis