Treffer eingrenzen
-
Standort
- Standortunabhängig (63)
- Zentralbibliothek (17)
- Fachbibl. Mathematik… (12)
- Fachbibl. Englischer… (3)
- Fachbibl. Theologie… (1)
-
Schlagwort
- Formale Spezifikatio… (94)
- Softwareentwicklung (31)
- Formale Methode (21)
- Verifikation (20)
- Softwarespezifikation (16)
- Mehr anzeigen …
-
Jahr
- <=1996 (23)
- 1997 - 2003 (26)
- 2004 - 2009 (27)
- >=2010 (20)
-
Sprache
- Englisch (71)
- Deutsch (26)
- Nicht zu entscheiden (1)
-
Erscheinungsform
- Monografie (96)
- Elektronische Ressource (64)
- Online-Ressource (63)
- E-Book (62)
- Computerdatei (60)
- Mehr anzeigen …
-
Autor
- Boer, Frank S. de (3)
- Baldoni, Matteo (2)
- Bert, Didier (2)
- Bjørner, Dines (2)
- Bowen, Jonathan P. (2)
- Mehr anzeigen …
Sie haben Fragen?
Gerne beantworten wir Ihre Frage(n)!
Die Kontaktmöglichkeiten finden Sie auf unserer Kontaktseite: