Integrated formal methods 15th international conference, IFM 2019, Bergen, Norway, December 2–6, 2019, proceedings

Integrated formal methods 15th international conference, IFM 2019, Bergen, Norway, December 2–6, 2019, proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: IFM Bergen, Norwegen (VerfasserIn)
Weitere Verfasser: Ahrendt, Wolfgang (HerausgeberIn), Tapia Tarifa, Silvia Lizeth (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2019]
Schriftenreihe:Lecture notes in computer science 11918
Schlagworte:
Software Engineering
Programming Languages, Compilers, Interpreters
Theory of Computation
Logic in AI.
Simulation and Modeling
Computer Systems Organization and Communication Networks
Software engineering
Programming languages (Electronic computers)
Computers
Artificial intelligence
Computer logic
Computer simulation
Computer organization
Formale Methode
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!
Schreiben Sie den ersten Kommentar!
Bitte loggen Sie sich zuerst ein

Ähnliche Einträge