phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Automatic Verification of Sequential Infinite-State Processes

Język AngielskiAngielski
Książka Miękka
Książka Automatic Verification of Sequential Infinite-State Processes Burkart
Kod Libristo: 06615459
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 1997
This monograph provides information for theoreticians interested in algebraic theories, as well as f... Cały opis
? points 154 b
262.48 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Enrobing of Meat and Meat Products Chidanandaiah Shivamurthaiah / Miękka
common.buy 234.37 zł
Shahnama of Firdausi Edmond Warner / Twarda
common.buy 1 502.70 zł
Kinks Carey Fleiner / Twarda
common.buy 311.10 zł
Words for Students of English v. 8 Lionel Menasche / Miękka
common.buy 145.44 zł
Bylow Hill George Washington Cable / Miękka
common.buy 101.62 zł
Blue Yonder Justine Davis Randers-Pehrson / Miękka
common.buy 76.02 zł
Call Me Hank Hank Pennier / Miękka
common.buy 170.85 zł
Evolution of Integral Yoga Kundan Singh / Miękka
common.buy 374.02 zł
Philosophie Der Gegenwart Arnold Ruge / Twarda
common.buy 199.76 zł
Statistics for Engineering and the Sciences Terry L. Sincich / Miękka
common.buy 373.52 zł
Cyprus Robert Hamilton Lang / Miękka
common.buy 172.65 zł
Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern Julius Wild / Miękka
common.buy 285.69 zł
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea / Miękka
common.buy 112.33 zł
Agenda 21 Local Et Sig Didier Jean Yemba / Miękka
common.buy 199.96 zł
National Intelligencer Newspaper Abstracts Joan M Dixon / Miękka
common.buy 221.77 zł

This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

Informacje o książce

Pełna nazwa Automatic Verification of Sequential Infinite-State Processes
Autor Burkart, O. (University of Dortmund, Germany)
Język Angielski
Oprawa Książka - Miękka
Data wydania 1997
Liczba stron 176
EAN 9783540639824
ISBN 9783540639824
Kod Libristo 06615459
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 284
Wymiary 155 x 235 x 10

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Matematyka i nauki ścisłe > Matematyka
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo