Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

Limba englezăengleză
Carte Copertă tare
Carte Computer-Aided Verification of Coordinating Processes Robert P. Kurshan
Codul Libristo: 01019063
Editura Princeton University Press, aprilie 2016
Formal verification increasingly has become recognized as an answer to the problem of how to create... Descrierea completă
? points 339 b
733.98 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn Naeko Ishida / Carte Carte broșată
common.buy 37.05 lei
AUDI RS C. Bergander / Carte Carte
common.buy 368.91 lei
Gréčtina konverzácia collegium / Carte Carte broșată
common.buy 44.23 lei
Análisis comparativo de la vulnerabilidad al cambio climático en función del género / Carte Carte broșată
common.buy 178.41 lei
Blackforest: El secreto de la estirpe abominable ALBRIGHT / Carte Carte broșată
common.buy 157.59 lei
Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű) Hajni István; Kolozsvári Ildikó / Carte binding.
common.buy 126.15 lei
LA DESOBEDIENCIA DE LAS PALABRAS MESTRE / Carte Carte
common.buy 116.16 lei
de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate MACAIRE-J / Carte Carte broșată
common.buy 85.35 lei
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Carte Carte broșată
common.buy 53.70 lei
Hörverstehen, 4 Audio-CDs. Tl.1 Thomas Storz / Audio Audio CD
common.buy 227.44 lei
Sezóna pokušenia Ľubica Mesarošová / Carte Copertă tare
common.buy 12.59 lei
Rechtsstaat oder Ausnahmezustand? Wolfgang Hetzer / Carte Carte broșată
common.buy 280.74 lei
Die Königin der Weißen Rose Philippa Gregory / Carte Carte broșată
common.buy 60.68 lei
Baustatik in Beispielen Konstantin Meskouris / Carte Carte broșată
common.buy 417.31 lei
Cultura y modernidad : perspectivas filosóficas de Oriente y Occidente Karl-Otto Apel / Carte Carte broșată
common.buy 154.99 lei
Mysterium Rob Wilson / Carte Carte broșată
common.buy 69.11 lei
Lettres Sur l'Orient, Ecrites Pendant Les Annees 1827 Et 1828. Tome 1 De Bussierre-M-T / Carte Carte broșată
common.buy 149.37 lei
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Carte Carte broșată
common.buy 365.47 lei
Frau fuhrt Regie Karin Martensen / Carte Carte broșată
common.buy 267.52 lei
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Carte Carte broșată
common.buy 781.24 lei
Zimní a vánoční písně 1 / Carte Carte broșată
common.buy 29.24 lei
SIMD Processing for Software Defined Radio Peter Westermann / Carte Carte broșată
common.buy 444.38 lei
Technik in Der Literatur Der Fr hen Moderne Tessy Korber / Carte Carte broșată
common.buy 293.34 lei
Der Einfluss der Ladengestaltung auf die Zufriedenheit der Kund/innen Katharina Bedek / Carte Carte broșată
common.buy 262.32 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computer-Aided Verification of Coordinating Processes
Autor Robert P. Kurshan
Limba engleză
Legare Carte - Copertă tare
Data publicării 2016
Număr pagini 284
EAN 9780691634890
ISBN 9780691634890
Codul Libristo 01019063
Editura Princeton University Press
Greutatea 567
Dimensiuni 152 x 229 x 20

Categorii

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Complex analysis, complex variables
Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Computer aided manufacture (CAM)
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Technology, Engineering, Agriculture > Industrial chemistry & manufacturing technologies
Computing & Information Technology > Computer science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

American Family Catherine Marshall-Smith / Carte Carte broșată
common.buy 79.52 lei
Demystifying Meaningful Coincidences (Synchronicities) Gibbs A. Williams / Carte Copertă tare
common.buy 771.04 lei
MZ ETZ Models (81 - 95) Mark Coombs / Carte Carte broșată
common.buy 232.13 lei
Be Still and Know Millie Stamm / Carte Carte broșată
common.buy 81.91 lei
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 / Carte Copertă tare
common.buy 262.52 lei
Day The Mountain Cried Robert L Skidmore / Carte Copertă tare
common.buy 132.92 lei
Berenstain Bears and Too Much TV Jan Berenstain / Carte Carte broșată
common.buy 30.59 lei
1849 .. M D Likhutin / Carte Carte broșată
common.buy 127.93 lei
They Slept Upon Their Rifles Marshall E Kuykendall / Carte Copertă tare
common.buy 215.89 lei
Absent in the Spring Mary Westmacott / Carte Carte broșată
common.buy 60.26 lei
Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain / Carte Copertă tare
common.buy 251.91 lei
Archaeology of the Communist Era Ludomir R. Lozny / Carte Copertă tare
common.buy 683.07 lei
Today Ruby Will Be a Princess Paula Croyle / Carte Copertă tare
common.buy 128.97 lei
REVOLUTIONARY TYPES IDA A. TAYLOR / Carte Carte broșată
common.buy 153.01 lei
Death of an Elgin Marble David Dickinson / Carte Carte broșată
common.buy 61.09 lei
Gateway to the Christian College Experience J Randolph Turpin Jr / Carte Carte broșată
common.buy 81.50 lei
Hebrew vocabulary for English speakers - 9000 words Andrey Taranov / Carte Carte broșată
common.buy 91.28 lei
Public Transit Operations: The Strategic Professional Chester Patton / Carte Carte broșată
common.buy 71.92 lei
Cezanne and the Post-Bionian Field Robert Snell / Carte Carte broșată
common.buy 286.98 lei
Top
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds / Carte Carte broșată
common.buy 98.36 lei
Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed / Carte Carte broșată
common.buy 502.26 lei
Black or White, Vol. 11 V11 / Carte Carte broșată
common.buy 59.43 lei
China, Japan and Regional Leadership in East Asia Christopher M Dent / Carte Copertă tare
common.buy 932.59 lei
Content Marketing for Nonprofits - A Communications Map for Engaging Your Community, Becoming a Favorite Cause, and Raising More Money Kivi Leroux Miller / Carte Carte broșată
common.buy 246.91 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?