> Detailanzeige

Baier, Christel [VerfasserIn] ; Dal Lago, Ugo [HerausgeberIn]

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book
  • Titel: Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
  • Beteiligte: Baier, Christel [VerfasserIn]; Dal Lago, Ugo [HerausgeberIn]
  • Erschienen: Cham: Springer Nature, 2018
  • Umfang: 1 Online-Ressource
  • Sprache: Englisch
  • ISBN: 9783319893662
  • Schlagwörter: Computer science
  • Entstehung:
  • Anmerkungen: English
  • Beschreibung: artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification
  • Zugangsstatus: Freier Zugang