Wydawnictwo

Nowości

Model identyfikacji wymagań w outsourcingowych projektach informatycznych | J.A. Kluk.| Gdańsk, 2014.  | EKONOMIA; INFORMATYKA
cena: 27,30 zł
cena: 29,00 zł
cena: 52,00 zł
cena: 23,00 zł
cena: 17,33 zł
cena: 39,00 zł
cena: 49,90 zł
cena: 30,00 zł
cena: 47,00 zł

I. Grobelna. Weryfikacja modelowa z NuSMV

  • Kod: UZG 311
  • Stan: 2
  • Dostępność: Mało
  • Wydawnictwo: Uniwersytet Zielonogórski
  • Cena: 20,00 zł
  • Poleć produkt
  • Autor: Grobelna Iwona
  • Wyd.: I
  • Miejsce: Zielona Góra
  • Rok: 2011
  • ilość stron: 97
  • ISBN: 978-83-7481-423-2
  • oprawa: Miękka

Książka zawiera wprowadzenie do narzędzia weryfikującego NuSMV w wersji 2.5. Jest to pierwsza z dostępnych polskojęzycznych pozycji literaturowych dotyczących weryfikacji modelowej (oraz symulacji) z wykorzystaniem narzędzia wnioskowania komputerowego NuSMV.

Wstęp teoretyczny wystawrcza do poprawnego zrozumienia dalszych rozdziałów. Część praktyczna przedstawia wybrane przykłady weryfikacji modelowej systemów synchronicznych oraz asynchronicznych. Znalazły się tu tó również przykłady weryfikacji specyfikacji wyrażonej za pomocą algorytmicznych mszyn stanów ASM czy też sieci Petriego (interpretowanych sieci Petriego sterowania).

Książka jest przeznaczona głównie dla studentów kierunków technicznych, pracowników naukowych wyższych uczelni i inżynierów zajmujących się na co dzień projektowaniem (a także weryfikacją) systemów, zwłaszcza systemów wbudowanych oraz sterowników logicznych.

Złożoność obliczeniowa algorytmów w zadaniach | K. Giaro. | Olsztyn-Gdańsk, 2011. | INFORMATYKA ; MATEMATYKA
K. Giaro. Złożoność obliczeniowa algorytmów w zadaniach
22,50 zł
Zarządzanie usługami informatycznymi | A. Lotko. | Wyd. II. | Radom, 2005. | INFORMATYKA
A. Lotko. Zarządzanie usługami informatycznymi
35,44 zł
47,25 zł
Zarządzanie projektami @ rozwój systemów informatycznych zarządzania |W. Chmielarz. | Warszawa, 2013. | ZARZĄDZANIE; INFORMATYKA
W. Chmielarz. Zarządzanie projektami @ rozwój systemów informatycznych zarządzania
30,00 zł
Zarządzanie outsourcingiem informatycznym | M. Sobińska. |Wrocław, 2008. | ZARZĄRZANIE ; INFORMATYKA
M. Sobińska. Zarządzanie outsourcingiem informatycznym
21,60 zł
27,00 zł
Zarządzanie bezpieczeństwem systemów informatycznych w bankowości | D. Wawrzyniak | Warszawa, 2002 | BEZPIECZEŃSTWO ; BANKOWOŚĆ ; INFORMATYKA
D. Wawrzyniak Zarządzanie bezpieczeństwem systemów informatycznych w bankowości
30,00 zł
50,40 zł
Zarys metodyki wspierającej naukę projektowania systemów informacyjnych | E. Stemposz; A. Jodłowski; A. Stasiecka. | Warszawa, 2013. | Monografie naukowe, t. 12 | INFORMATYKA
E. Stemposz; A. Jodłowski; A. Stasiecka. Zarys metodyki wspierającej naukę projektowania systemów informacyjnych
74,00 zł
Zabawy z komputerem i fizyką : skoki, rzuty i rakiety : modele jednopunktowe | J. Wasilewski. | Toruń, 2014. | FIZYKA; INFORMATYKA
J. Wasilewski. Zabawy z komputerem i fizyką : skoki, rzuty i rakiety : modele jednopunktowe
42,00 zł
Wyzwania programistyczne | S.S. Skiena; M.A. Revilla. | Warszawa, 2004. | (Idee, metody i narzędzia informatyki). | INFORMATYKA
S.S. Skiena; M.A. Revilla. Wyzwania programistyczne
39,20 zł
49,00 zł