Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Verifikation 4 Treffer
- Model Checking 3 Treffer
- Temporale Logik 3 Treffer
- Formale Semantik 2 Treffer
- Formale Spezifikationstechnik 2 Treffer
-
24 weitere Werte:
- Objektorientierte Programmierung 2 Treffer
- Petri-Netz 2 Treffer
- Semantik 2 Treffer
- Softwarespezifikation 2 Treffer
- Verteiltes System 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Abstrakter Automat 1 Treffer
- Abstraktion 1 Treffer
- Agent (Informatik) 1 Treffer
- Algorithmus 1 Treffer
- Compiler 1 Treffer
- Dekomposition 1 Treffer
- Formale Methode 1 Treffer
- Halbordnung 1 Treffer
- Logischer Schluss 1 Treffer
- Noordwijkerhout 1 Treffer
- Objektorientierte Programmiersprache 1 Treffer
- Programmierparadigma 1 Treffer
- Programmierung 1 Treffer
- Statische Analyse 1 Treffer
- Synchronisierung 1 Treffer
- UML 1 Treffer
- Wissensrepräsentation 1 Treffer
- Zustandsraum 1 Treffer
Sprache
Form
Person
- Baeten, Josephus C. M. 3 Treffer
- Abadi, Martín (1963-) 1 Treffer
- Agha, Gul 1 Treffer
- Amadio, Roberto M. 1 Treffer
- Baier, Christel 1 Treffer
-
28 weitere Werte:
- Bakker, Jacobus Willem de 1 Treffer
- Banieqbal, Behnam 1 Treffer
- Best, Eike 1 Treffer
- Brim, Lubǒs 1 Treffer
- Cortesi, Agostino 1 Treffer
- Desel, Jörg (1959-) 1 Treffer
- FrøLund, Svend 1 Treffer
- Gardner, Philippa 1 Treffer
- Godefroid, Patrice 1 Treffer
- Guessarian, Irène 1 Treffer
- Gurevich, Yuri (1940-) 1 Treffer
- Huntbach, Matthew M. 1 Treffer
- Jonsson, Bengt 1 Treffer
- Kanchana Kanchanasut 1 Treffer
- Kwiatkowska, Marta Z. (1957-) 1 Treffer
- Larsen, Kim G. 1 Treffer
- Lee, Insup 1 Treffer
- Manna, Zohar 1 Treffer
- Mazurkiewicz, Antoni 1 Treffer
- Moller, Faron 1 Treffer
- Montanari, Ugo (1943-) 1 Treffer
- Palamidessi, Catuscia 1 Treffer
- Pnûʾēlî, Āmîr 1 Treffer
- Ringwood, Graem A. 1 Treffer
- Roever, Willem-Paul de (1943-) 1 Treffer
- Sangiorgi, Davide 1 Treffer
- Yonezawa, Akinori 1 Treffer
- Zimmermann, Wolf 1 Treffer
33 Treffer
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1992Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff: