phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Automatic Verification of Sequential Infinite-State Processes

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automatic Verification of Sequential Infinite-State Processes Burkart
Libristo kód: 06615459
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosince 1997
This monograph provides information for theoreticians interested in algebraic theories, as well as f... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Enrobing of Meat and Meat Products Chidanandaiah Shivamurthaiah / Brožovaná
common.buy 1 375 Kč
Shahnama of Firdausi Edmond Warner / Pevná
common.buy 9 216 Kč
Kinks Carey Fleiner / Pevná
common.buy 1 825 Kč
Words for Students of English v. 8 Lionel Menasche / Brožovaná
common.buy 891 Kč
Bylow Hill George Washington Cable / Brožovaná
common.buy 561 Kč
Call Me Hank Hank Pennier / Brožovaná
common.buy 1 125 Kč
Blue Yonder Justine Davis Randers-Pehrson / Brožovaná
common.buy 446 Kč
Statistics for Engineering and the Sciences Terry L. Sincich / Brožovaná
common.buy 2 191 Kč
Evolution of Integral Yoga Kundan Singh / Brožovaná
common.buy 2 194 Kč
Philosophie Der Gegenwart Arnold Ruge / Pevná
common.buy 1 122 Kč
Cyprus Robert Hamilton Lang / Brožovaná
common.buy 966 Kč
Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern Julius Wild / Brožovaná
common.buy 1 676 Kč
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea / Brožovaná
common.buy 698 Kč
Agenda 21 Local Et Sig Didier Jean Yemba / Brožovaná
common.buy 1 173 Kč
National Intelligencer Newspaper Abstracts Joan M Dixon / Brožovaná
common.buy 1 301 Kč

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.

Informace o knize

Plný název Automatic Verification of Sequential Infinite-State Processes
Autor Burkart, O. (University of Dortmund, Germany)
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1997
Počet stran 176
EAN 9783540639824
ISBN 9783540639824
Libristo kód 06615459
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 284
Rozměry 155 x 235 x 10

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Matematika a věda > Matematika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet