gefundene Verfasser Elrad, Tzilla

1. 1
   

   A weakest precondition semantics for communicating processes von Elrad, Tzilla, Francez, Nissim

   Veröffentlicht 1982

   Signatur: Wird geladen …
   Standort: Wird geladen …

   Buch Wird geladen …

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in: