Suchergebnisse - Specifying and Verifying and Reasoning about Programs—Assertions

Andere Suchmöglichkeiten:

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Synthesis of the synchronization of general pipeline systems von Ugron, Balázs, Hajdara, Szabolcs, Kozma, László

    ISSN: 0324-721X
    Veröffentlicht: Szeged Laszlo Nyul 01.01.2005
    Veröffentlicht in Acta cybernetica (Szeged) (01.01.2005)
    “… The pipeline systems and different subtypes of pipelines are interesting parts of parallel systems in software engineering. That is why it seems to be worth …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: