phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

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
Nakladateľstvo Princeton University Press, apríl 2016
Formal verification increasingly has become recognized as an answer to the problem of how to create... Celý popis
? points 461 b
183.89 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

TOP
Gréčtina konverzácia collegium / Brožovaná
common.buy 7.86 €
Berenstain Bears and Too Much TV Jan Berenstain / Brožovaná
common.buy 5.24 €
Zimní a vánoční písně 1 / Brožovaná
common.buy 5.24 €
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Brožovaná
common.buy 10.68 €
Die Königin der Weißen Rose Philippa Gregory / Brožovaná
common.buy 11.19 €
Sezóna pokušenia Ľubica Mesarošová / Pevná
common.buy 2.51 €
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Brožovaná
common.buy 83.11 €
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Brožovaná
common.buy 175.31 €
Baustatik in Beispielen Konstantin Meskouris / Brožovaná
common.buy 88.46 €
Be Still and Know Millie Stamm / Brožovaná
common.buy 15.02 €
Der Einfluss der Ladengestaltung auf die Zufriedenheit der Kund/innen Katharina Bedek / Brožovaná
common.buy 49.42 €
Auf Digitalen Pfaden Waldemar Vogelgesang / Brožovaná
common.buy 77.56 €
Developing the Virtues Julia Annas / Pevná
common.buy 141.52 €
Content Marketing for Nonprofits - A Communications Map for Engaging Your Community, Becoming a Favorite Cause, and Raising More Money Kivi Leroux Miller / Brožovaná
common.buy 47.81 €
1849 .. M D Likhutin / Brožovaná
common.buy 24.70 €
Frau fuhrt Regie Karin Martensen / Brožovaná
common.buy 72.32 €

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

Informácie o knihe

Celý názov Computer-Aided Verification of Coordinating Processes
Autor Robert P. Kurshan
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2016
Počet strán 284
EAN 9780691634890
ISBN 9780691634890
Libristo kód 01019063
Nakladateľstvo Princeton University Press
Váha 567
Rozmery 152 x 229 x 20

Kategórie

Matematika a veda > Matematika > Diferenciálny a integrálny počet a matematická analýza > Komplexná analýza, komplexné premenné
Technológie, strojárstvo, poľnohospodárstvo > Strojárstvo a materiály > Výrobné inžinierstvo > Počítačom podporovaná výroba (CAM)
Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve
Matematika a veda > Matematika > Diskrétna matematika
Výpočtové a informačné technológie > Grafické a digitálne mediálne aplikácie > Počítačom podporovaný dizajn (CAD)
Technológie, strojárstvo, poľnohospodárstvo > Priemyselná chémia a výrobné technológie
Výpočtové a informačné technológie > Informatika
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet