Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

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 443 b
183.27 €
Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn Naeko Ishida / Kniha Brožovaná
common.buy 6.77 €
AUDI RS C. Bergander / Kniha Kniha
common.buy 70.37 €
Gréčtina konverzácia collegium / Kniha Brožovaná
common.buy 7.38 €
Análisis comparativo de la vulnerabilidad al cambio climático en función del género / Kniha Brožovaná
common.buy 32.09 €
Blackforest: El secreto de la estirpe abominable ALBRIGHT / Kniha Brožovaná
common.buy 30.17 €
Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű) Hajni István; Kolozsvári Ildikó / Kniha binding.
common.buy 24.09 €
LA DESOBEDIENCIA DE LAS PALABRAS MESTRE / Kniha Kniha
common.buy 21.25 €
de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate MACAIRE-J / Kniha Brožovaná
common.buy 14.77 €
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Kniha Brožovaná
common.buy 9.91 €
Hörverstehen, 4 Audio-CDs. Tl.1 Thomas Storz / Audio Audio CD
common.buy 43.43 €
Sezóna pokušenia Ľubica Mesarošová / Kniha Pevná
common.buy 2.12 €
Rechtsstaat oder Ausnahmezustand? Wolfgang Hetzer / Kniha Brožovaná
common.buy 53.56 €
Die Königin der Weißen Rose Philippa Gregory / Kniha Brožovaná
common.buy 16.09 €
CASIO FX-9860GII, Ausgabe Baden-Württemberg Monika Eisenmann / Kniha List
common.buy 9.31 €
Baustatik in Beispielen Konstantin Meskouris / Kniha Brožovaná
common.buy 76.34 €
Cultura y modernidad : perspectivas filosóficas de Oriente y Occidente Karl-Otto Apel / Kniha Brožovaná
common.buy 29.66 €
Mysterium Rob Wilson / Kniha Brožovaná
common.buy 13.15 €
Lettres Sur l'Orient, Ecrites Pendant Les Annees 1827 Et 1828. Tome 1 De Bussierre-M-T / Kniha Brožovaná
common.buy 26.01 €
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Kniha Brožovaná
common.buy 75.33 €
Frau fuhrt Regie Karin Martensen / Kniha Brožovaná
common.buy 59.43 €
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Kniha Brožovaná
common.buy 147.12 €
Zimní a vánoční písně 1 / Kniha Brožovaná
common.buy 4.85 €
SIMD Processing for Software Defined Radio Peter Westermann / Kniha Brožovaná
common.buy 90.82 €
Technik in Der Literatur Der Fr hen Moderne Tessy Korber / Kniha Brožovaná
common.buy 60.75 €

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

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

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

Mohlo by vás tiež zaujímať

American Family Catherine Marshall-Smith / Kniha Brožovaná
common.buy 13.36 €
Demystifying Meaningful Coincidences (Synchronicities) Gibbs A. Williams / Kniha Pevná
common.buy 147.12 €
MZ ETZ Models (81 - 95) Mark Coombs / Kniha Brožovaná
common.buy 41.81 €
Be Still and Know Millie Stamm / Kniha Brožovaná
common.buy 13.96 €
The Life Of George Washington: Commander In Chief Of The Armies Of The United States Of America, Throughout The War Which Established Their Independen David Ramsay / Kniha Pevná
common.buy 45.46 €
Day The Mountain Cried Robert L Skidmore / Kniha Pevná
common.buy 22.37 €
Top
Berenstain Bears and Too Much TV Jan Berenstain / Kniha Brožovaná
common.buy 5.15 €
1849 .. M D Likhutin / Kniha Brožovaná
common.buy 21.56 €
They Slept Upon Their Rifles Marshall E Kuykendall / Kniha Pevná
common.buy 37.36 €
Absent in the Spring Mary Westmacott / Kniha Brožovaná
common.buy 10.82 €
Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain / Kniha Pevná
common.buy 43.63 €
Archaeology of the Communist Era Ludomir R. Lozny / Kniha Pevná
common.buy 128.90 €
Today Ruby Will Be a Princess Paula Croyle / Kniha Pevná
common.buy 21.76 €
REVOLUTIONARY TYPES IDA A. TAYLOR / Kniha Brožovaná
common.buy 26.52 €
Death of an Elgin Marble David Dickinson / Kniha Brožovaná
common.buy 11.64 €
Gateway to the Christian College Experience J Randolph Turpin Jr / Kniha Brožovaná
common.buy 14.07 €
Hebrew vocabulary for English speakers - 9000 words Andrey Taranov / Kniha Brožovaná
common.buy 15.69 €
Public Transit Operations: The Strategic Professional Chester Patton / Kniha Brožovaná
common.buy 12.34 €
Cezanne and the Post-Bionian Field Robert Snell / Kniha Brožovaná
common.buy 50.11 €
Top
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds / Kniha Brožovaná
common.buy 19.33 €
Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed / Kniha Brožovaná
common.buy 103.38 €
Black or White, Vol. 11 V11 / Kniha Brožovaná
common.buy 10.01 €
China, Japan and Regional Leadership in East Asia Christopher M Dent / Kniha Pevná
common.buy 178.11 €
Content Marketing for Nonprofits - A Communications Map for Engaging Your Community, Becoming a Favorite Cause, and Raising More Money Kivi Leroux Miller / Kniha Brožovaná
common.buy 42.72 €

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
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?