Formal methods teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings

Formal methods teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaften: FMTea Porto, Portugal (VerfasserIn), World Congress on Formal Methods (VerfasserIn)
Weitere Verfasser: Dongol, Brijesh (HerausgeberIn), Petre, Luigia (HerausgeberIn), Smith, Graeme (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham Springer [2019]
Schriftenreihe:Lecture notes in computer science 11758
Schlagworte:
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Logic in AI.
Algorithm Analysis and Problem Complexity
Computer science
Software engineering
Artificial intelligence
Computer logic
Computer software
Formale Methode
Mathematische Logik
Konferenzschrift
Online-Zugang:DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Ähnliche Einträge