Sortiert nach
1st ed. 2008, 2008
- Link zum Volltext
1st ed. 2005, 2005
- Link zum Volltext
1st ed. 2017, 2017
- Link zum Volltext
1st ed. 2017, 2017
- Link zum Volltext
1st ed. 2019, 2019
- Link zum Volltext
1st ed. 2018, 2018
- Link zum Volltext
1st ed. 2004, 2004
- Link zum Volltext
1st ed. 2018, 2018
- Link zum Volltext
1st ed. 2016, 2016
- Link zum Volltext
1st ed. 2016, 2016
- Link zum Volltext
1st ed. 2012, 2012
- Link zum Volltext
1st ed. 2012, 2012
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Margaria, Tiziana
- Steffen, Bernhard
- Biffl, Stefan
- CAV (Conference)
- International Conference on Formal Engineering Methods
- Winkler, Dietmar
- Bergsmann, Johannes
- International SPIN Workshop
- International Symposium of Formal Methods Europe
- Liu, Shaoying
- Havelund, Klaus
- IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems
- Legay, Axel
- Liu, Zhiming
- Ada-Europe International Conference on Reliable Software Technologies
- Apduhan, Bernady O
- Broy, Manfred
- Duan, Zhenhua
- Giannakopoulou, Dimitra
- International Conference on Software Reuse
Erscheinungsform
Schlagwort
- Software engineering
- Computer science
- Programming Languages, Compilers, Interpreters
- Programming languages (Electronic computers)
- Computer logic
- Logics and Meanings of Programs
- Computer programming
- Programming Techniques
- Computer Communication Networks
- Computer communication systems
- Artificial Intelligence
- Artificial intelligence
- Software Engineering/Programming and Operating Systems
- Application software
- Management information systems
- Computers
- Theory of Computation
- Management of Computing and Information Systems
- Computer Science Logic and Foundations of Programming
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts