gefundene Verfasser Aït Ameur, K

1. 1
   

   Abstract state machines, alloy, B, TLA, VDM, and Z (ABZ 2014) selected and extended papers from ABZ 2014

   Veröffentlicht 2016

   Signatur: Wird geladen …
   Standort: Wird geladen …

   Tagungsbericht Buch Wird geladen …

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in: