Informacja

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

Wyszukujesz frazę ""COREY, LEWIS"" wg kryterium: Autor


Wyświetlanie 1-6 z 6
Tytuł:
Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System
Autorzy:
June Andronick
Corey Lewis
Carroll Morgan
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 196, Iss Proc. MARS 2015, Pp 10-24 (2015)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1511.04170v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/20d064ed3d114e7e9a352316ecc5ebdf  Link otwiera się w nowym oknie
Czasopismo naukowe
    Wyświetlanie 1-6 z 6

    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