-
Data: 2003-02-10 19:36:33
Temat: Re: jaka praca najlepsza dla informatyka ???
Od: "Tomek Zielinski" <t...@f...org.pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]" leszek" <s...@N...gazeta.pl> wrote in message
news:b28pau$rus$1@inews.gazeta.pl...
> To brzmi bardzo ładnie, ale jak zamierzasz udodnić matematycznie
poprawnośc
> programu liczącego 100 tysięcy linii kodu - mniejszych nie warto pisać.
> Dowieść można i nalezy poprawności działania algorytmu, a nie programu.
Skąd wzięła Ci się liczba 100000 linii kodu w kontekście oprogramowania dla
aparatury szpitalnej tudzież sondy kosmicznej? Czy słyszałeś może o theorem
proverach?
Tomek Z.
Następne wpisy z tego wątku
- 10.02.03 19:55 Roman Kubik
- 10.02.03 23:16 flyer
- 10.02.03 23:16 flyer
- 10.02.03 23:59 Nina M. Miller
- 11.02.03 00:01 Nina M. Miller
- 11.02.03 00:03 Nina M. Miller
- 12.02.03 09:22 MerlinXP
- 12.02.03 11:52 leszek
Najnowsze wątki z tej grupy
- "w państwie bez stosów" poszukującego pracy wsadzają do psychiatryka za "niewygodne pytania"
- M$ kroczy tradycyjną ścieżką amerykańskich korpo wytyczoną przez IBM i Dehomag w latach 30. XXw. w III Rzeszy
- Ponad 300 pracowników Aquinos Bedding Poland w Łodzi nie otrzymało dotychczas pensji za kwiecień
- Trzy największe polskie centrale związkowe domagają się znacznych podwyżek w budżetówce i wzrostu płacy minimalnej.
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Francja: "Za mało pracujemy, za dużo wydajemy" - a pierwsi chcieli pracować 4/7 !!!
- Pedalskie ogłoszenia na rządowej s. WWW oferty.praca.gov.pl:443
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Ile powinien trwać tydzień pracy?
- Jakie znacie działające serwery grup dyskusyjnych?
- is it live this group at news.icm.edu.pl
- praca 12/24
- 5 minut przerwy przy komputerze
- raczej już nigdy nie będę pracował w Polsce
- Stanowiska sztucznie tworzone
Najnowsze wątki
- 2025-07-23 Gdańsk => Programista Delphi <=
- 2025-07-23 Gdańsk => Programista Mainframe (z/OS, Assembler) <=
- 2025-07-23 Warszawa => Starszy inżynier DevOps (AWS) <=
- 2025-07-23 Gdańsk => Mainframe (z/OS, Assembler) Developer <=
- 2025-07-23 Kraków => Senior Fullstack Engineer (Low-Code Platform) <=
- 2025-07-23 Wrocław => Senior Key Account Manager IT <=
- 2025-07-23 Trójmiasto => Head of Social Media <=
- 2025-07-23 Rzeszów => Spedytor Międzynarodowy <=
- 2025-07-23 Lublin => ERP Implementation Consultant (AP Module) <=
- 2025-07-23 Środa Wielkopolska => SAP FI/CO Internal Consultant <=
- 2025-07-23 Warszawa => Inżynier oprogramowania .Net <=
- 2025-07-23 Kraków => Kotlin Developer <=
- 2025-07-23 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-07-23 Warszawa => Java Developer <=
- 2025-07-23 Wrocław => Konsultant wdrożeniowy (systemy controlingowe) <=