Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Computer-Aided Verification of Coordinating Processes Robert P. Kurshan
Koda Libristo: 01019063
Založba Princeton University Press, april 2016
Formal verification increasingly has become recognized as an answer to the problem of how to create... Celoten opis
? points 443 b
182.67 €
Na zalogi pri dobavitelju Odposlali bomo v 14-21 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

LA DESOBEDIENCIA DE LAS PALABRAS MESTRE / Knjiga Knjiga
common.buy 20.28 €
Sezóna pokušenia Ľubica Mesarošová / Knjiga Trda
common.buy 2.01 €
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Knjiga Mehka
common.buy 8.97 €
de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate MACAIRE-J / Knjiga Mehka
common.buy 14.73 €
Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű) Hajni István; Kolozsvári Ildikó / Knjiga binding.
common.buy 21.18 €
Blackforest: El secreto de la estirpe abominable ALBRIGHT / Knjiga Mehka
common.buy 27.54 €
L'Homme qui rêvait d'être Dexter Stéphane Bourgoin / Knjiga Mehka
common.buy 23.00 €
A medio siglo de "El malestar en la cultura" de Sigmund Freud Braunstein / Knjiga binding.
common.buy 20.48 €
Gréčtina konverzácia collegium / Knjiga Mehka
common.buy 7.36 €
Análisis comparativo de la vulnerabilidad al cambio climático en función del género / Knjiga Mehka
common.buy 30.17 €
AUDI RS C. Bergander / Knjiga Knjiga
common.buy 64.08 €
Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn Naeko Ishida / Knjiga Mehka
common.buy 6.35 €
Auf Digitalen Pfaden Waldemar Vogelgesang / Knjiga Mehka
common.buy 44.50 €
Der Einfluss der Ladengestaltung auf die Zufriedenheit der Kund/innen Katharina Bedek / Knjiga Mehka
common.buy 44.70 €
Technik in Der Literatur Der Fr hen Moderne Tessy Korber / Knjiga Mehka
common.buy 50.05 €
SIMD Processing for Software Defined Radio Peter Westermann / Knjiga Mehka
common.buy 75.18 €
Zimní a vánoční písně 1 / Knjiga Mehka
common.buy 4.94 €
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Knjiga Mehka
common.buy 133.01 €
Frau fuhrt Regie Karin Martensen / Knjiga Mehka
common.buy 45.31 €
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Knjiga Mehka
common.buy 62.26 €
Kmalu
Hörverstehen, 4 Audio-CDs. Tl.1 Thomas Storz / Zvok Zvočni CD
common.buy 38.54 €
Lettres Sur l'Orient, Ecrites Pendant Les Annees 1827 Et 1828. Tome 1 De Bussierre-M-T / Knjiga Mehka
common.buy 25.32 €
Mysterium Rob Wilson / Knjiga Mehka
common.buy 11.90 €
Cultura y modernidad : perspectivas filosóficas de Oriente y Occidente Karl-Otto Apel / Knjiga Mehka
common.buy 26.84 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer-Aided Verification of Coordinating Processes
Avtor Robert P. Kurshan
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 2016
Število strani 284
EAN 9780691634890
ISBN 9780691634890
Koda Libristo 01019063
Založba Princeton University Press
Teža 567
Mere 152 x 229 x 20

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Complete Works of W. H. Auden, Volume 1 W. H. Auden / Knjiga Trda
common.buy 105.06 €
Today Ruby Will Be a Princess Paula Croyle / Knjiga Trda
common.buy 21.69 €
Magic Curtain Thomas Torrans / Knjiga Trda
common.buy 21.59 €
MZ ETZ Models (81 - 95) Mark Coombs / Knjiga Mehka
common.buy 39.25 €
Be Still and Know Millie Stamm / Knjiga Mehka
common.buy 13.92 €
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 / Knjiga Trda
common.buy 45.31 €
Day The Mountain Cried Robert L Skidmore / Knjiga Trda
common.buy 22.29 €
Berenstain Bears and Too Much TV Jan Berenstain / Knjiga Mehka
common.buy 5.14 €
1849 .. M D Likhutin / Knjiga Mehka
common.buy 21.49 €
They Slept Upon Their Rifles Marshall E Kuykendall / Knjiga Trda
common.buy 37.23 €
Absent in the Spring Mary Westmacott / Knjiga Mehka
common.buy 10.08 €
Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain / Knjiga Trda
common.buy 43.49 €
Archaeology of the Communist Era Ludomir R. Lozny / Knjiga Trda
common.buy 116.56 €
REVOLUTIONARY TYPES IDA A. TAYLOR / Knjiga Mehka
common.buy 26.43 €
American Family Catherine Marshall-Smith / Knjiga Mehka
common.buy 13.31 €
Death of an Elgin Marble David Dickinson / Knjiga Mehka
common.buy 10.59 €
Gateway to the Christian College Experience J Randolph Turpin Jr / Knjiga Mehka
common.buy 14.02 €
Hebrew vocabulary for English speakers - 9000 words Andrey Taranov / Knjiga Mehka
common.buy 15.63 €
Public Transit Operations: The Strategic Professional Chester Patton / Knjiga Mehka
common.buy 12.30 €
Cezanne and the Post-Bionian Field Robert Snell / Knjiga Mehka
common.buy 49.95 €
Top
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds / Knjiga Mehka
common.buy 16.95 €
Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed / Knjiga Mehka
common.buy 85.48 €
Black or White, Vol. 11 V11 / Knjiga Mehka
common.buy 9.98 €
Fauvel Studies Andrew Wathey / Knjiga Trda
common.buy 641.69 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?