Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Nguyen, Huu Hai"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Automated Verification of Shape and Size Properties Via Separation Logic.
    Autorzy:
    Hutchison, David
    Kanade, Takeo
    Kittler, Josef
    Kleinberg, Jon M.
    Mattern, Friedemann
    Mitchell, John C.
    Naor, Moni
    Nierstrasz, Oscar
    Pandu Rangan, C.
    Steffen, Bernhard
    Sudan, Madhu
    Terzopoulos, Demetri
    Tygar, Doug
    Vardi, Moshe Y.
    Weikum, Gerhard
    Cook, Byron
    Podelski, Andreas
    Nguyen, Huu Hai
    David, Cristina
    Qin, Shengchao
    Pokaż więcej
    Źródło:
    Verification, Model Checking & Abstract Interpretation (978-3-540-69735-0); 2007, p251-266, 16p
    Książka
    Szczegóły
      Wyświetlanie 1-3 z 3

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies