ISBN: 9788320436693

I mo?e ró?ni? si? od rzeczywistego zdj?cia przedmiotu. Ksi??ka sk?ada si? z dwóch powi?zanych cz??ci: teoretycznej i teoretyczno-aplikacyjnej. Druga cz??? ma charakter bardziej przyst?pny… Altro …

I mo?e ró?ni? si? od rzeczywistego zdj?cia przedmiotu. Ksi??ka sk?ada si? z dwóch powi?zanych cz??ci: teoretycznej i teoretyczno-aplikacyjnej. Druga cz??? ma charakter bardziej przyst?pny, ukierunkowany na praktyk? in?yniersk?. Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistegoSZMUC TOMASZAUTOR/WYKONAWCA:Szmuc TomaszRok wydania: 2010EAN/ISBN: 9788320436693Producent/Wydawnictwo: WNTSygnatura: 718538Uwaga: prezentowane zdjęcie jest tylko poglądowei może różnić się od rzeczywistego zdjęcia przedmiotuW przypadku wyczerpania nakładu dla podanegoroku wydania, będzie wysłana inna wersja tego tytułu.OPIS WYDAWCY/PRODUCENTAMetody formalne w inżynierii oprogramowania systemów czasu rzeczywistegoRozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż oczekiwania te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które by je spełniły. W ostatnich latach obserwuje się wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemów informatycznych. Książka składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga część ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską.Książka jest przeznaczona jest dla tych, którzy metody formalne chcą wykorzystać w badaniach naukowych lub w praktyce inżynierskiej, dla wykładowców takich przedmiotów, które przynajmniej częściowo dotyczą tych metod, a także dla studentów studiów inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych.STAN PRZEDMIOTU: NOWYPRODUKT NOWYOprawa/opakowanie: miękkaLiczba stron: 466, rok wydania: 2010BBN-5 /WG/0WYSYŁKA / DOSTAWASHIPPING / DELIVERYZamówione przedmioty wysyłamy do 5 dni roboczych(o ile nie określono inaczej w ofercie - proszę sprawdzić szczegóły dla konkretnej oferty).Termin dostawy podany przez eBay jest tylko szacunkowy - ten termin nie jestdeklarowany przez sprzedawcę i nie jest dla niego wiążący.Czasy dostawy mogą się różnić, szczególnie w okresach największego ruchui/lub z powodu opóźnień krajowego albo zagranicznego dostawcy.Rzeczywiste czasy dostawy do poszczególnych krajów przez Poczta Polska można sprawdzić na stronie internetowej: POCZTA POLSKAPrzedmiot będzie dobrze zabezpieczony do wysyłki:opakowanie tekturowe lub koperta bąbelkowa, Neu, Festpreisangebot, [LT: FixedPrice], Buchtitel: Metody formalne w in?ynierii oprogramowania system<

2010, ISBN: 8320436699, Lieferbar binnen 4-6 Wochen Costi di spedizione:Versandkostenfrei innerhalb der BRD

Internationaler Buchtitel. Nicht in deutscher Sprache! Sprachcode: pol. Verlag: WNT, 466 Seiten, L=239mm, B=165mm, Gew.=770gr, 1. Auflage. [GR: 27230 - TB/Bildungswesen (Schule/Hochschule… Altro …

Internationaler Buchtitel. Nicht in deutscher Sprache! Sprachcode: pol. Verlag: WNT, 466 Seiten, L=239mm, B=165mm, Gew.=770gr, 1. Auflage. [GR: 27230 - TB/Bildungswesen (Schule/Hochschule)], [SW: - Computers / Programming / General], Kartoniert/Broschiert, Klappentext: Rozwijajacy sie rynek zastosowan systemow informatycznych powoduje wzrost zapotrzebowania na systemy, ktore powinny byc rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakosci produktu koncowego. Choc wydaje sie, iz oczekiwania te wzajemnie sie wykluczaja, wciaz podejmowane sa proby opracowania metod, ktore by je spelnily. W ostatnich latach obserwuje sie wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemow informatycznych. Ksiazka sklada sie z dwoch powiazanych czesci: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykladu z logiki matematycznej, teorii sieci Petriego i algebry procesow. Druga czesc ma charakter bardziej przystepny, ukierunkowany na praktyke inzynierska. Ksiazka jest przeznaczona jest dla tych, ktorzy metody formalne chca wykorzystac w badaniach naukowych lub w praktyce inzynierskiej, dla wykladowcow takich przedmiotow, ktore przynajmniej czesciowo dotycza tych metod, a takze dla studentow studiow inzynierskich, magisterskich i doktoranckich, na ktorych wykladane sa zagadnienia dotyczace metod formalnych. [Ausgabe: 10001] Rozwijajacy sie rynek zastosowan systemow informatycznych powoduje wzrost zapotrzebowania na systemy, ktore powinny byc rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakosci produktu koncowego. Choc wydaje sie, iz oczekiwania te wzajemnie sie wykluczaja, wciaz podejmowane sa proby opracowania metod, ktore by je spelnily. W ostatnich latach obserwuje sie wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemow informatycznych. Ksiazka sklada sie z dwoch powiazanych czesci: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykladu z logiki matematycznej, teorii sieci Petriego i algebry procesow. Druga czesc ma charakter bardziej przystepny, ukierunkowany na praktyke inzynierska. Ksiazka jest przeznaczona jest dla tych, ktorzy metody formalne chca wykorzystac w badaniach naukowych lub w praktyce inzynierskiej, dla wykladowcow takich przedmiotow, ktore przynajmniej czesciowo dotycza tych metod, a takze dla studentow studiow inzynierskich, magisterskich i doktoranckich, na ktorych wykladane sa zagadnienia dotyczace metod formalnych.<