Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

Lingua IngleseInglese
Libro Rigido
Libro Computer-Aided Verification of Coordinating Processes Robert P. Kurshan
Codice Libristo: 01019063
Casa editrice Princeton University Press, aprile 2016
Formal verification increasingly has become recognized as an answer to the problem of how to create... Descrizione completa
? points 482 b
197.09 €
Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

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

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Computer-Aided Verification of Coordinating Processes
Autore Robert P. Kurshan
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2016
Numero di pagine 284
EAN 9780691634890
ISBN 9780691634890
Codice Libristo 01019063
Casa editrice Princeton University Press
Peso 567
Dimensioni 152 x 229 x 20

Categorie

Matematica e Scienze > Matematica > Calcolo e analisi matematica > Analisi complessa, variabili complesse
Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria meccanica e dei materiali > Produzione e ingegneria industriale > Produzione assistita dal computer (CAM)
Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico
Matematica e Scienze > Matematica > Matematica discreta
Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali > Disegno assistito (CAD)
Tecnologia, Ingegneria, Agricoltura, processi industriali > Chimica industriale e tecnologie manifatturiere
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Complete Works of W. H. Auden, Volume 1 W. H. Auden / Libro Rigido
common.buy 122.49 €
Today Ruby Will Be a Princess Paula Croyle / Libro Rigido
common.buy 24.29 €
Magic Curtain Thomas Torrans / Libro Rigido
common.buy 24.29 €
MZ ETZ Models (81 - 95) Mark Coombs / Libro In brossura
common.buy 43.89 €
Be Still and Know Millie Stamm / Libro In brossura
common.buy 15.39 €
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 / Libro Rigido
common.buy 49.49 €
Day The Mountain Cried Robert L Skidmore / Libro Rigido
common.buy 24.99 €
Berenstain Bears and Too Much TV Jan Berenstain / Libro In brossura
common.buy 5.89 €
1849 .. M D Likhutin / Libro In brossura
common.buy 24.09 €
They Slept Upon Their Rifles Marshall E Kuykendall / Libro Rigido
common.buy 40.69 €
Absent in the Spring Mary Westmacott / Libro In brossura
common.buy 11.39 €
Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain / Libro Rigido
common.buy 47.49 €
Archaeology of the Communist Era Ludomir R. Lozny / Libro Rigido
common.buy 128.69 €
REVOLUTIONARY TYPES IDA A. TAYLOR / Libro In brossura
common.buy 28.79 €
American Family Catherine Marshall-Smith / Libro In brossura
common.buy 14.99 €
Death of an Elgin Marble David Dickinson / Libro In brossura
common.buy 9.99 €
Gateway to the Christian College Experience J Randolph Turpin Jr / Libro In brossura
common.buy 15.39 €
Hebrew vocabulary for English speakers - 9000 words Andrey Taranov / Libro In brossura
common.buy 17.19 €
Public Transit Operations: The Strategic Professional Chester Patton / Libro In brossura
common.buy 13.59 €
Cezanne and the Post-Bionian Field Robert Snell / Libro In brossura
common.buy 54.09 €
I migliori
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds / Libro In brossura
common.buy 18.49 €
Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed / Libro In brossura
common.buy 94.69 €
Black or White, Vol. 11 V11 / Libro In brossura
common.buy 11.19 €
Fauvel Studies Andrew Wathey / Libro Rigido
common.buy 693.59 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?