LOTOS JĘZYK FORMALNYCH SPECYFIKACJI SYSTEMÓW INFORMATYCZNYCH
ZBIGNIEW HUZAR
Wydawnictwo: POLITECHNIKA WROCŁAWSKA
Cena: 38.80 zł
34.92 zł brutto
- Paczkomaty InPost 14.99 zł brutto
- Poczta Polska - odbiór w punkcie 9.99 zł brutto
- Poczta Polska - przedpłata 15.99 zł brutto
- Poczta Polska - pobranie 19.99 zł brutto
- Kurier DHL - przedpłata 18.99 zł brutto
- Kurier DHL - pobranie 21.99 zł brutto
- Odbiór osobisty - UWAGA - uprzejmie prosimy poczekać na informację z księgarni o możliwości odbioru zamówienia - 0.00 zł brutto
Opis
ISBN: 978-83-7493-335-3
264 stron
format: B5
oprawa: miękka
Rok wydania: 2007
Przedstawiono język LOTOS, jego zastosowania, a także rozszerzenia, które umożliwiają wykorzystanie języka w procesie specyfikacji i projektowania systemów czasu rzeczywistego.Omówiono rozszerzenia czasowe, które pozwalają na specyfikowanie systemów czasu rzeczywistego z silnymi ograniczeniamiczasowymi, oraz rozszerzenia wydajnościowe, które umożliwiają analizę wydajnościową systemów czasu rzeczywistego ze słabymi ograniczeniami czasowymi.Przedstawiono metodykę stosowania LOTOSA, a zwłaszcza jego wykorzystanie w specyfikacji usług i protokołów sieciowych jako głównego zakresu zastosowania języka.Omówiono również podstawy matematyczne, na których opiera się LOTOS.
Kod wydawnictwa: 978-83-7493-335-3
Ten produkt nie ma jeszcze opinii
Twoja opinia
aby wystawić opinię.