Verifying Concurrent Processes Using Temporal Logic » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2858761]

• Literatura piękna

[1806812]

więcej...

Kategorie szczegółowe BISAC

Verifying Concurrent Processes Using Temporal Logic

Name: Verifying Concurrent Processes Using Temporal Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH &
Price: 187.83 PLN
Availability: InStock

ISBN-13: 9783540112051 / Angielski / Miękka / 1982 / 209 str.

B. T. Hailpern

Verifying Concurrent Processes Using Temporal Logic

ISBN-13: 9783540112051 / Angielski / Miękka / 1982 / 209 str.

B. T. Hailpern

cena 187,83 zł
(netto: 178,89 VAT: 5%)

Najniższa cena z 30 dni: 187,83 zł

Termin realizacji zamówienia:
ok. 16-18 dni roboczych.

Darmowa dostawa!

Springer Book Archives

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Programming - General
Computers > Logic Design
Computers > Computer Science

Wydawca:

Springer-Verlag Berlin and Heidelberg GmbH &

Seria wydawnicza:

Lecture Notes in Computer Science

Język:

Angielski

ISBN-13:

9783540112051

Rok wydania:

1982

Dostępne języki:

Angielski

Wydanie:

1982

Numer serii:

000013115

Ilość stron:

209

Waga:

0.70 kg

Wymiary:

23.323.3 x 15.5

Oprawa:

Miękka

Wolumenów:

Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2025 DolnySlask.com Agencja Internetowa