Legfrissebb anyagok
Mobilarena témák
- Foreo FAQ 202 – LED it be!
- Okos (AI) szemüveget mutatott be a Meta
- Apple iPhone Air - almacsutka
- iPhone topik
- One mobilszolgáltatások
- Google Pixel 10 Pro XL – tíz kicsi Pixel
- Hat év támogatást csomagolt fém házba a OnePlus Nord 4
- Apple Watch
- Xiaomi 15 - kicsi telefon nagy energiával
- Samsung Galaxy S10 és S10+ duplateszt
PROHARDVER! témák
IT café témák
Keresés
-
Mobilarena
Új hozzászólás Aktív témák
-
cucka
addikt
Persze, ilyen gyakran van, erre használjuk az UML diagramokat, esetleg ha van idő+pénz, akkor lehet írni SAD-ot is.
Ami fontos, hogy ezek nem matematikai eszközök. Amikor ilyet mondasz, akkor általában az automatikusan verifikált programokra gondol az ember, meg a Dijkstra-féle matematikai modellre. Tehát nem magyarázó diagramokról van szó, hanem függvényekről, halmazműveletekről, állapotterekről meg invariánsokról, illetve a legfontosabb - matematikai módszerekkel definiálni a program elvárt működését, majd bizonyítani, hogy valóban teljesíti a feltételeket.
Új hozzászólás Aktív témák
Téma tudnivalók
● olvasd el a téma összefoglalót!
Aktív témák
Új fizetett hirdetések
- Eladó ASUS ROG Strix XG27ACS-W 180hz Fast IPS Monitor
- Eladó LG OLED42C31LA 120Hz (garanciális, hibátlan állapotban)
- Katonai Rugged laptopok Panasonic Toughbook és Getac S410 6-11.gen gar.
- Lenovo ThinkPad P1 G2 Tervező Vágó Laptop -70% 15,6" Xeon E-2276M 32/1TB QUADRO T2000 4GB FHD
- Dell OptiPlex 3050 számítógép (I3/8gb/240SSD)
Üzleti előfizetők hirdetései
- HP EliteOne 800 G5 All-in-One 32GB 1000GB 23.8" Érintőkijelző!! 1 év garancia
- Apple iPhone 14 128 GB Fehér 1 év Garancia Beszámítás Házhozszállítás
- LG SN4 soundbar hangprojektor 6 hó garancia, számlával!
- ÁRGARANCIA!Épített KomPhone Ryzen 7 9800X3D 32/64GB DDR5 RAM RTX 5070 12GB GAMER termékbeszámítással
- Eladó egy wittings steel hr sport hibrid okos óra dobozával töltővel
Állásajánlatok
Cég: CAMERA-PRO Hungary Kft.
Város: Budapest
Cég: PCMENTOR SZERVIZ KFT.
Város: Budapest