- Obecnie brak na stanie

Spis treści
1. Wprowadzenie
2. Rachunek zdań: formuły, modele, tabele semantyczne
3. Rachunek zdań: systemy dowodzenia
4. Rachunek zdań: rezolucja i diagramy binarnych decyzji
5. Rachunek predykatów: formuły, modele, tabele semantyczne
6. Rachunek predykatów: systemy dowodzenia
7. Rachunek predykatów: rezolucja
8. Programowanie w logice
9. Programy: semantyka i weryfikacja
10. Programy: formalne specyfikacje w notacji Z
11. Logika temporalna: formuły, modele, tabele semantyczne
12. Logika temporalna: systemy dowodzenia i zastosowania
Brak towaru
Brak towaru
Zestaw konstrukcyjny 12 w 1 uczący wykorzystywania energii słonecznej i hydraulicznej. KSR17
Brak towaru
Brak towaru
Brak towaru
Bezprzewodowy czujnik temperatury o dużej dokładności z wbudowaną pamięcią zdarzeń (rejestratorem) z przetwornikiem Si7053
Brak towaru
Jeden z najdoskonalszych pod względem możliwości i najbardziej uniwersalnych programatorów-debuggerów JTAG/SWD obsługujący mikrokontrolery i mikroprocesory z rdzeniami Cortex-M, Cortex-A, Cortex-R oraz ARM7, ARM9 i ARM11 większości producentów. Wersja z licencją dla celów edukacyjnych.
Brak towaru
7\'\' wyświetlacz Powertip LCD-TFT 800x480 px z touch-panelem, podświetlaczem LED, przetwornicami DC/DC, kompatybilny z VisionCB-STD v.1.0 i v.1.4.
SL-TFT7-TP-800-480
Brak towaru
Uniwersalny adapter USB2.0 do JTAG, UART i GPIO oparty na układzie FTDI FT2232H USB2 IC. Karta adaptera konwertuje sygnały z USB2.0 na standardowe interfejsy szeregowe lub równoległe systemów wbudowanych, takich jak JTAG, SPI, I²C i UART. Kompatybilny z narzędziami Xilinx. Trenz TE0790-02
Brak towaru
Brak towaru
Brak towaru
HK 1/10 Hobbyking Mission-D 4WD GTR Drift Car (KIT) (41378)
Brak towaru
Brak towaru
EMULATOR-PROGRAMATOR MIKROKONTROLERÓW AVR I `51 - ZESTAW DO SAMODZIELNEGO MONTAŻU
Brak towaru
Brak towaru
Brak towaru