Suche verfeinern
-
Teilbibliothek
- Mathematik und Infor… (372)
- Ohne Zuordnung (293)
- Stammgelände (129)
- Chemie (8)
- Maschinenwesen (3)
-
Dokumenttyp
- Buch (744)
- Konferenzbericht (442)
- E-Book (303)
- E-Medien (291)
- (mit) Illustration (215)
- Mehr anzeigen …
-
Fach
- Informatik (755)
- Mathematik (20)
- Verkehrstechnik (17)
- Elektrotechnik (4)
- Allg. Technik/Ingeni… (2)
- Mehr anzeigen …
-
Schlagwort
- Programmverifikation (286)
- Verifikation (236)
- Formale Methode (217)
- Model Checking (163)
- Softwareentwicklung (120)
- Mehr anzeigen …
-
Jahr
- <=1989 (87)
- 1990 - 2000 (188)
- 2001 - 2011 (265)
- >=2012 (215)
-
Sprache
- Englisch (599)
- Deutsch (123)
- Ohne Zuordnung (36)
- Niederländisch (1)
-
Verfasser
- Margaria-Steffen, Ti… (11)
- Gamma, Erich (10)
- Steffen, Bernhard (10)
- Grumberg, Orna (9)
- Clarke, Edmund M. (8)
- Havelund, Klaus (8)
- Peled, Doron (8)
- Beckert, Bernhard (6)
- Bouajjani, Ahmed (6)
- Manna, Zohar (6)
- Meyer, Bertrand (6)
- Alur, Rajeev (5)
- Bošnački, Dragan (5)
- Broy, Manfred (5)
- Fowler, Martin (5)
- Margaria, Tiziana (5)
- Roever, Willem-Paul de (5)
- Barringer, Howard (4)
- Barthe, Gilles (4)
- Biere, Armin (4)
- Chockler, Hana (4)
- Damm, Werner (4)
- Davies, Jim (4)
- Emerson, E. Allen (4)
- Giannakopoulou, Dimitra (4)
- Mehr anzeigen …
- Institution
Volltextzugriff auf E-Medien
Authentifizierung: erforderlich
TUM-Mitarbeiter und Studierende:
Externe Kundinnen und Kunden:
Lesesaal-PCs nutzen
Ihre IP-Adresse: 3.145.107.94
Werkzeugkasten
- Fachliche Suche mit der TUM-Systematik
- Standorte ermitteln mit der Standortliste
- OPAC-FAQ
Nicht das Richtige gefunden?
chat loading...