Legfrissebb anyagok
LOGOUT témák
- Luck Dragon: Asszociációs játék. :)
- sziku69: Fűzzük össze a szavakat :)
- eBay-es kütyük kis pénzért
- bitpork: Phautós tali a Balcsinál 2025 Augusztus 2 napján (szombat)
- bambano: Bambanő háza tája
- D1Rect: Nagy "hülyétkapokazapróktól" topik
- gban: Ingyen kellene, de tegnapra
- Magga: PLEX: multimédia az egész lakásban
- sziku69: Szólánc.
- Meggyi001: RTX 5060 - Az új népkártya?
PROHARDVER! témák
Mobilarena témák
IT café témák
Keresés
Hirdetés
!! SZERVERLEÁLLÁS, ADATVESZTÉS INFORMÁCIÓK !!
Talpon vagyunk, köszönjük a sok biztatást! Ha segíteni szeretnél, boldogan ajánljuk Előfizetéseinket!
Talpon vagyunk, köszönjük a sok biztatást! Ha segíteni szeretnél, boldogan ajánljuk Előfizetéseinket!
-
LOGOUT
Ú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
- Honor 400 256GB ÚJSZERŰ Euronics vásárlás Garancia 2027.05.24-ig
- DJI Goggles Integra drón szemüveg
- Asztali Konfig - z97 - 4770K - Sapphire RX580 8GB- 8 GB DDR3
- ÚJ, GARIS! Dell Latitude 5450 - 14" FHD / Ultra 5 125U / 16GB DDR5 / 512GB NVMe SSD / HDMI 2.1
- Megkímélt állapotban Samsung Galaxy A51 4/128GB
Üzleti előfizetők hirdetései
- Vivo Y76 5G 128GB, Kártyafüggetlen, 1 Év Garanciával
- Akció! Windows 10 pro OEM licenc kulcs 64/32 bit activation key licensz, liszensz,kulcs
- HIBÁTLAN iPhone 13 Pro 128GB Alphine Green -1 ÉV GARANCIA - Kártyafüggetlen, MS3024, 91% Akkumulátor
- Akció! Gigabyte Vision Z590 D Wi-Fi Alaplap! LGA 1200!
- GYÖNYÖRŰ iPhone 13 mini 128GB Blue -1 ÉV GARANCIA - Kártyafüggetlen, MS3045, 96% Akkumulátor
Állásajánlatok
Cég: FOTC
Város: Budapest