Biblioteka UMCS udostępnia 48 784 obiektów cyfrowych
Obiekt
Tytuł: The use of model checking and the COSMA environment in the design of reactive systems
Opis:
Wydawca:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Miejsce wydania:
Współtwórca:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identyfikator zasobu:
Język:
Powiązania:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 4 (2006)
Prawa:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Kolekcje, do których przypisany jest obiekt:
Data ostatniej modyfikacji:
24 mar 2015
Data dodania obiektu:
24 mar 2015
Liczba wyświetleń treści obiektu:
16
Liczba wyświetleń treści obiektu w formacie DjVu
15
Wszystkie dostępne wersje tego obiektu:
https://dlibra.umcs.lublin.pl/publication/20416
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
| Nazwa wydania | Data |
|---|---|
| Mieścicki, Jerzy - The use of model checking and the COSMA environment in the design of reactive systems | 24 mar 2015 |
Obiekty Podobne
Mieścicki, Jerzy Daszczuk, Wiktor B. Uniwersytet Marii Curie-Skłodowskiej (Lublin)
2006
artykuł
×