Treffer
1 - 1
Treffer von
1
für Suche '
"proceedings of"
'
Weiter zum Inhalt
Toggle navigation
Fachinformationsdienst für
Niederlandistik, Niederlande-, Belgien- und Luxemburgforschung
Hilfe
de
en
de
Gesamtsuche
Benelux Datenbanken
Benelux E-Zeitschriften
weitere Datenquellen
Benelux-Katalog ULB Münster
Benelux Katalog - USB Köln
Bibliographie nationale luxembourgeoise
FID Benelux Digitization
FID Benelux OA Publications
Online Contents Benelux
BASE - Bielefeld Academic Search Engine
Spezialbibliografien
Deutschsprachige Literatur über die Niederlande
Corona-Bibliografie Benelux
Benelux-Grenzgeschichte
Erweiterte Suche
Suchhistorie
Suchen
Behalte die Filtereinstellungen.
ulb_person_facet:"Bosnacki, D Dragan"
Scroll
Suche: "proceedings of"
Treffer
1 - 1
Treffer von
1
für Suche '
"proceedings of"
'
, Suchdauer: 0,03s
Treffer pro Seite
10
20
50
100
Sortieren
Relevanz
Jahr aufsteigend
Jahr absteigend
Autor
Titel
Alles auswählen:
Auswahl:
E-Mail
Export
Drucken
1
Originalkatalog
|
Verfügbarkeit prüfen
Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings
Baeten, JCM Jos
,
Bosnacki, D Dragan
,
Voeten, JPM Jeroen
,
Holenderski, L Leszek
2001
Volltext
Weitere Treffer
1.
Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings
Datenquelle: BASE
2.
Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings
Datenquelle: BASE
Alles auswählen:
Auswahl:
E-Mail
Export
Drucken
Suche einschränken
Suchfilter entfernen
Filter aufheben
Personen: Bosnacki, D Dragan
Online-Ressourcen
Volltexte online zugänglich
3
Erscheinungsjahr
Von:
Bis:
Datenquelle
BASE - Bielefeld Academic Search Engine
3
Personen
Baeten, JCM Jos
3
Bosnacki, D Dragan
Holenderski, L Leszek
3
Voeten, JPM Jeroen
3
Schlagwörter
formal languages. formal systems. formal proof of program correctness
3
model checking
3
software verification : proceedings
3
Dokumenttyp
Buch
3
×
Wird geladen...