Formal Methods For An Informal World Kartoniert (TB)
Springer
Description
This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World held on September 1-7 2021 originally... Weiterlesen
GTIN
9783031436772
Angeboten durch
Weltbild AT
Produkt speichern
Produkt gespeichert
Produkt vergleichen
Preisgeschichte
Verwandte Produkte
Bitte wählen Sie mindestens 2 Produkte zum Vergleich aus
Vergleich anzeigen