Biblioteka Cyfrowa Politechniki Śląskiej udostępnia 75 004 obiektów cyfrowych
Obiekt
Tytuł: Specification and verification of simple logic control programs using Frama C ; Specyfikacja i weryfikacja prostych programów sterowania logicznego z wykorzystaniem Frama C
Opis:
Wydanie:
Vol. 32, No. 3B = No. 99 = Nr 1850
Miejsce wydania:
Wydawca:
Wydawnictwo Politechniki Śląskiej
Seria:
Studia Informatica ; 1642-0489 ; Zeszyty Naukowe Politechniki Śląskiej. Informatyka
Identyfikator zasobu:
Katalog Biblioteki-Zeszyty Naukowe ; Katalog Biblioteki-Artykuł ; oai:delibra.bg.polsl.pl:77010
Źródło:
Język:
Powiązania:
Zeszyty Naukowe Politechniki Śląskiej. Informatyka
Prawa:
Wydawnictwo Politechniki Śląskiej
Dostęp:
Kolekcje, do których przypisany jest obiekt:
- Biblioteka Cyfrowa > KOLEKCJE PUBLIKACJI PRACOWNIKÓW POLITECHNIKI ŚLĄSKIEJ > Zeszyty Naukowe Politechniki Śląskiej > Informatyka
Data ostatniej modyfikacji:
9 gru 2024
Data dodania obiektu:
25 paź 2023
Liczba wyświetleń treści obiektu:
15
Wszystkie dostępne wersje tego obiektu:
https://delibra.bg.polsl.pl/publication/86389
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
| Nazwa wydania | Data |
|---|---|
| Sadolewski, Jan ; Świder, Zbigniew : Specification and verification of simple logic control programs using Frama C | 9 gru 2024 |
Obiekty Podobne
Lubiński, Maciej
Grund, Damian
Zygmunt, Henryk Wróbel, Grzegorz Kwasnowski, Paweł Hayduk, Grzegorz Jachimski, Marcin
Sroczyński, Zdzisław
Sikora, Marek Proksa, Paweł
