Treffer
1 - 1
von
1
für Suche '
V. A. Nepomniashy
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - V. A. Nepomniashy
Treffer
1 - 1
von
1
für Suche '
V. A. Nepomniashy
'
, Suchdauer: 0,19s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
C Program Verication in the Multilanguage System Spectrum
von
V. A. Nepomniashy
,
I. S. Anureev
,
M. M. Atuchin
,
I. V. Maryasov
,
A. A. Petrov
,
A. V. Promsky
Veröffentlicht in
Modelirovanie i analiz informacionnyh sistem
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
1 Treffer
1
Online Resources
1 Treffer
1
Format
Articles
1 Treffer
1
Zeitschriftentitel
Modelirovanie I Analiz Informacionnyh Sistem
1 Treffer
1
Schlagworte
Axiomatic Semantics
1 Treffer
1
Domain-Speci C Languages
1 Treffer
1
Operational Semantics
1 Treffer
1
Speci Cation
1 Treffer
1
Veri Cation
1 Treffer
1
Veri Cation Systems
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Doaj Directory Of Open Access Journals
1 Treffer
1
Ingentaconnect Journals
1 Treffer
1
Ingentaconnect
1 Treffer
1