polishbookstore metody formalne w inzynierii oprogramowania systemow czasu rzeczywistego szmuc tomasz szpyrka marcin 219627
- znaleziono 3 produkty w 3 sklepach
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego - Szmuc Tomasz, Szpyrka Marcin
Książki & Multimedia > Książki
Opis - Rozwijają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. Nazwa - Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego Oryginalny tytuł - 8 Minute Meditation: Quiet Your Mind. Change Your Life Autor - Szmuc Tomasz, Szpyrka Marcin Oprawa - Miękka Wydawca - Helion Kod ISBN - 9788320436693 Kod EAN - 9788320436693 Wydanie - 1 Rok wydania - 2010 Język - PL Tłumacz - Engel Marcin Format - 16.5x23.9cm Ilość stron - 466 Typ podręcznika - Podręcznik Przedmiot - Informatyka - Zajęcia komputerowe Podatek VAT - 5% Premiera - 2010-07-15
Sklep: InBook.pl
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego WNT
Szkoły policealne. Szkoły wyższeProgramowanie. Języki programowania
Rozwijają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.
Sklep: Booknet.net.pl
Metody Formalne W Inżynierii Oprogramowania Systemów Czasu Rzeczywistego Wydawnictwa Naukowo-Techniczne
Książki>Technika. Informatyka. Przemysł. Rolnictwo.>Informatyka. Cybernetyka. Komputery>Oprogramowanie>Programowanie
0x0036bab000000000
Sklep: Gigant.pl
Sklepy zlokalizowane w miastach: Warszawa, Kraków, Łódź, Wrocław, Poznań, Gdańsk, Szczecin, Bydgoszcz, Lublin, Katowice
Szukaj w sklepach lub całym serwisie
1. Sklepy z polishbookstore pl metody formalne w inzynierii oprogramowania systemow czasu rzeczywistego szmuc tomasz szpyrka marcin 219627
2. Szukaj na wszystkich stronach serwisu
t1=0.018, t2=0, t3=0, t4=0, t=0.018