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č PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Computer-Aided Verification of Coordinating Processes

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Computer-Aided Verification of Coordinating Processes Robert P. Kurshan
Libristo kód: 01019063
Nakladatelství Princeton University Press, dubna 2016
Formal verification increasingly has become recognized as an answer to the problem of how to create... Celý popis
? points 474 b
4 741 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Zimní a vánoční písně 1 / Brožovaná
common.buy 108 Kč
Gréčtina konverzácia collegium / Brožovaná
common.buy 236 Kč
Berenstain Bears and Too Much TV Jan Berenstain / Brožovaná
common.buy 143 Kč
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Brožovaná
common.buy 268 Kč
Die Königin der Weißen Rose Philippa Gregory / Brožovaná
common.buy 296 Kč
Sezóna pokušenia Ľubica Mesarošová / Pevná
common.buy 81 Kč
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Brožovaná
common.buy 2 275 Kč
Developing the Virtues Julia Annas / Pevná
common.buy 3 857 Kč
Baustatik in Beispielen Konstantin Meskouris / Brožovaná
common.buy 2 422 Kč
1849 .. M D Likhutin / Brožovaná
common.buy 696 Kč
Frau fuhrt Regie Karin Martensen / Brožovaná
common.buy 1 998 Kč
American Grand Strategy and Corporate Elite Networks Bastiaan van Apeldoorn / Pevná
common.buy 5 776 Kč
Exploring Services Science Jean-Henry Morin / Brožovaná
common.buy 1 681 Kč
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Brožovaná
common.buy 4 798 Kč
Rechtsstaat oder Ausnahmezustand? Wolfgang Hetzer / Brožovaná
common.buy 1 331 Kč
Be Still and Know Millie Stamm / Brožovaná
common.buy 425 Kč

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must

Informace o knize

Plný název Computer-Aided Verification of Coordinating Processes
Autor Robert P. Kurshan
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2016
Počet stran 284
EAN 9780691634890
ISBN 9780691634890
Libristo kód 01019063
Nakladatelství Princeton University Press
Váha 567
Rozměry 152 x 229 x 20

Kategorie

Matematika a věda > Matematika > Diferenciální a integrální počet a matematická analýza > Komplexní analýza, komplexní proměnné
Technologie, strojírenství, zemědělství > Strojírenství a materiály > Výrobní inženýrství > Počítačem podporovaná výroba (CAM)
Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství
Matematika a věda > Matematika > Diskrétní matematika
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačem podporovaný design (CAD)
Technologie, strojírenství, zemědělství > Průmyslová chemie a výrobní technologie
Výpočetní a informační technologie > Informatika
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