Treffer
1 - 1
von
1
für Suche '
Gabmeyer, Sebastian
'
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
Alle Felder
Person
Schlagwort
Titel
Suchen
Erweitert
Verfasser
Gabmeyer, Sebastian
Treffer
1 - 1
von
1
für Suche '
Gabmeyer, Sebastian
'
, Suchdauer: 0,08s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Signatur
Verfasser
Titel
1
Tests and Proofs 11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19–20, 2017 : proceedings
Veröffentlicht 2017
Weitere Verfasser:
“…
Gabmeyer, Sebastian
…”
Signatur:
Wird geladen …
Standort:
Wird geladen …
Volltext
Elektronisch
Tagungsbericht
E-Book
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Ähnliche Schlagworte
Beweis
Computer Science
Computer Systems Organization and Communication Networks
Computer logic
Computer organization
Computer programming
Computer science
Computer-Aided Engineering (CAD, CAE) and Design
Computer-aided engineering
Computers
Computing Methodologies
Formale Methode
Informatik
Konferenzschrift
Logics and Meanings of Programs
Model Checking
Programming Techniques
Programmverifikation
Software Engineering
Software engineering
Softwareentwicklung
Softwaresystem
Softwaretest