Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Princeton University Press, duben 2016
Formal verification increasingly has become recognized as an answer to the problem of how to create... Celý popis
? points 443 b
4 431 Kč
Skladem u dodavatele Odesíláme za 9-15 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn Naeko Ishida / Kniha Brožovaná
common.buy 155 Kč
AUDI RS C. Bergander / Kniha Kniha
common.buy 1 701 Kč
Gréčtina konverzácia collegium / Kniha Brožovaná
common.buy 183 Kč
Análisis comparativo de la vulnerabilidad al cambio climático en función del género / Kniha Brožovaná
common.buy 732 Kč
Blackforest: El secreto de la estirpe abominable ALBRIGHT / Kniha Brožovaná
common.buy 730 Kč
Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű) Hajni István; Kolozsvári Ildikó / Kniha binding.
common.buy 582 Kč
LA DESOBEDIENCIA DE LAS PALABRAS MESTRE / Kniha Kniha
common.buy 515 Kč
de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate MACAIRE-J / Kniha Brožovaná
common.buy 358 Kč
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Kniha Brožovaná
common.buy 239 Kč
Hörverstehen, 4 Audio-CDs. Tl.1 Thomas Storz / Audio Audio CD
common.buy 1 049 Kč
Sezóna pokušenia Ľubica Mesarošová / Kniha Pevná
common.buy 55 Kč
Rechtsstaat oder Ausnahmezustand? Wolfgang Hetzer / Kniha Brožovaná
common.buy 1 295 Kč
Die Königin der Weißen Rose Philippa Gregory / Kniha Brožovaná
common.buy 389 Kč
Baustatik in Beispielen Konstantin Meskouris / Kniha Brožovaná
common.buy 1 753 Kč
Cultura y modernidad : perspectivas filosóficas de Oriente y Occidente Karl-Otto Apel / Kniha Brožovaná
common.buy 717 Kč
Mysterium Rob Wilson / Kniha Brožovaná
common.buy 317 Kč
Lettres Sur l'Orient, Ecrites Pendant Les Annees 1827 Et 1828. Tome 1 De Bussierre-M-T / Kniha Brožovaná
common.buy 628 Kč
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Kniha Brožovaná
common.buy 1 821 Kč
Frau fuhrt Regie Karin Martensen / Kniha Brožovaná
common.buy 1 357 Kč
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Kniha Brožovaná
common.buy 3 379 Kč
Zimní a vánoční písně 1 / Kniha Brožovaná
common.buy 114 Kč
SIMD Processing for Software Defined Radio Peter Westermann / Kniha Brožovaná
common.buy 2 196 Kč
Technik in Der Literatur Der Fr hen Moderne Tessy Korber / Kniha Brožovaná
common.buy 1 468 Kč
Der Einfluss der Ladengestaltung auf die Zufriedenheit der Kund/innen Katharina Bedek / Kniha Brožovaná
common.buy 1 209 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

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

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

Mohlo by vás také zajímat

American Family Catherine Marshall-Smith / Kniha Brožovaná
common.buy 324 Kč
Demystifying Meaningful Coincidences (Synchronicities) Gibbs A. Williams / Kniha Pevná
common.buy 3 379 Kč
MZ ETZ Models (81 - 95) Mark Coombs / Kniha Brožovaná
common.buy 893 Kč
Be Still and Know Millie Stamm / Kniha Brožovaná
common.buy 337 Kč
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 1 099 Kč
Day The Mountain Cried Robert L Skidmore / Kniha Pevná
common.buy 541 Kč
Top
Berenstain Bears and Too Much TV Jan Berenstain / Kniha Brožovaná
common.buy 116 Kč
1849 .. M D Likhutin / Kniha Brožovaná
common.buy 521 Kč
They Slept Upon Their Rifles Marshall E Kuykendall / Kniha Pevná
common.buy 904 Kč
Absent in the Spring Mary Westmacott / Kniha Brožovaná
common.buy 229 Kč
Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain / Kniha Pevná
common.buy 1 054 Kč
Archaeology of the Communist Era Ludomir R. Lozny / Kniha Pevná
common.buy 3 116 Kč
Today Ruby Will Be a Princess Paula Croyle / Kniha Pevná
common.buy 525 Kč
REVOLUTIONARY TYPES IDA A. TAYLOR / Kniha Brožovaná
common.buy 641 Kč
Death of an Elgin Marble David Dickinson / Kniha Brožovaná
common.buy 282 Kč
Gateway to the Christian College Experience J Randolph Turpin Jr / Kniha Brožovaná
common.buy 339 Kč
Hebrew vocabulary for English speakers - 9000 words Andrey Taranov / Kniha Brožovaná
common.buy 360 Kč
Public Transit Operations: The Strategic Professional Chester Patton / Kniha Brožovaná
common.buy 299 Kč
Cezanne and the Post-Bionian Field Robert Snell / Kniha Brožovaná
common.buy 1 212 Kč
Top
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds / Kniha Brožovaná
common.buy 447 Kč
Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed / Kniha Brožovaná
common.buy 2 498 Kč
Black or White, Vol. 11 V11 / Kniha Brožovaná
common.buy 242 Kč
China, Japan and Regional Leadership in East Asia Christopher M Dent / Kniha Pevná
common.buy 4 304 Kč
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 1 034 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?