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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Computer-aided Verification

Lingua IngleseInglese
Libro Rigido
Libro Computer-aided Verification American Mathem American Mathem
Codice Libristo: 06319043
Casa editrice American Mathematical Society, giugno 1991
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Descrizione completa
? points 348 b
142.19 €
50% di possibilità Cercheremo nel mondo Quando riceverò il libro?

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Zeis Mati Blum / Libro In brossura
common.buy 13.19 €
Dalajlamova kočka Zákon kočičí přitažlivosti David Michie / Libro Rigido
common.buy 7.89 €
Sluší mi tento list, Adame? Ladislav Jílek / Libro In brossura
common.buy 2.89 €
Nuvole Bianche Nessa 19971995 / Libro In brossura
common.buy 12.49 €
Total f*cking godhead. La biografia di Chris Cornell Corbin Reiff / Libro In brossura
common.buy 28.69 €
the coil of a snake CHRISTELLE / Libro In brossura
common.buy 46.89 €
Les plantes ? Couplan / Libro In brossura
common.buy 19.49 €
Alef Paulo Coelho / Libro Rigido
common.buy 6.09 €
La Communication En Milieu Hospitalier Nzabamwita-V / Libro In brossura
common.buy 43.49 €
Logarithmischen Potentiales Axel Harnack / Libro In brossura
common.buy 19.39 €
Poslední film Zuzany Bergové Jan Jandourek / Libro In brossura
common.buy 7.39 €
Ciudadanos : sed realistas, decid lo indecible Félix de Azúa / Libro In brossura
common.buy 22.39 €
Confidencias y confesiones José María de Llanos / Libro In brossura
common.buy 11.49 €
ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Libro In brossura
common.buy 19.69 €

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

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
Autore American Mathem American Mathem
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 1991
EAN 9780821865941
ISBN 9780821865941
Codice Libristo 06319043
Casa editrice American Mathematical Society
Peso 666

Categorie

Matematica e Scienze > Matematica > Algebra
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

Integrative Cardiovascular Chinese Medicine Anika Al-Shura / Libro Rigido
common.buy 100.69 €
Crystal Path Georgina Easterbrook / Libro Rigido
common.buy 17.89 €
Korean War Korea Institute of Military History / Libro In brossura
common.buy 34.89 €
Moo-Cow Kung-Fu-Cow Nick Sharratt / Libro Leporello
common.buy 5.59 €
Overcoming Sorrow: Poems in English and Russian Adolf Shvedchikov / Libro In brossura
common.buy 12.19 €
Hobby-horse Arthur W. Pinero / Libro In brossura
common.buy 14.09 €
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Libro In brossura
common.buy 14.69 €
Leaving Jesus James Wood Jr / Libro In brossura
common.buy 11.59 €
Symbolic Immortality Sergei Kan / Libro In brossura
common.buy 41.09 €
It's Ryan's Ranch Joyce Marie / Libro In brossura
common.buy 12.69 €
Getting Started with Grails Rudolph / Libro In brossura
common.buy 15.39 €
Patterns of a Network Economy Börje Johansson / Libro In brossura
common.buy 97.89 €
150 Idees Recues Sur L'Histoir FL / Libro In brossura
common.buy 20.39 €
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Libro In brossura
common.buy 48.29 €
First World, Third World William Ryrie / Libro Rigido
common.buy 97.89 €
Computer-aided Method Engineering Ajantha Dahanayake / Libro Rigido
common.buy 70.69 €
In preparazione
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Libro In brossura
common.buy 55.19 €
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Libro Rigido
common.buy 49.49 €
In preparazione
Invention of the Moving Assembly Line Dennis Abrams / Libro Rigido
common.buy 41.19 €
Responsible Management of Information Systems Stahl / Libro Rigido
common.buy 75.29 €
In preparazione
Sculptured Thin Films Russell F. Messier / Libro Rigido
common.buy 99.99 €

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?