Treffer
1 - 1
Treffer von
1
für Suche '
"Voeten, JPM Jeroen"
'
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
Nederlandse Bibliografie
Spezialbibliografien
Deutschsprachige Literatur über die Niederlande
Corona-Bibliografie Benelux
Benelux-Grenzgeschichte
Erweiterte Suche
Suchhistorie
Suchen
Scroll
Suche: "Voeten, JPM Jeroen"
Treffer
1 - 1
Treffer von
1
für Suche '
"Voeten, JPM Jeroen"
'
, Suchdauer: 0,07s
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
Alles auswählen:
Auswahl:
E-Mail
Export
Drucken
Suche einschränken
Online-Ressourcen
Volltexte online zugänglich
1
Erscheinungsjahr
Von:
Bis:
Datenquelle
BASE - Bielefeld Academic Search Engine
1
Personen
Baeten, JCM Jos
1
Bosnacki, D Dragan
1
Holenderski, L Leszek
1
Voeten, JPM Jeroen
1
Schlagwörter
formal languages. formal systems. formal proof of program correctness
1
model checking
1
software verification : proceedings
1
Dokumenttyp
Buch
1
×
Wird geladen...