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 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

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 436 b
178.09 €
50% di possibilità Cercheremo nel mondo Quando riceverò il libro?

30 giorni per il reso

I clienti hanno acquistato anche

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Libro In brossura
common.buy 23.89 €
Ciudadanos : sed realistas, decid lo indecible Félix de Azúa / Libro In brossura
common.buy 26.69 €
Zeis Mati Blum / Libro In brossura
common.buy 16.39 €
the coil of a snake CHRISTELLE / Libro In brossura
common.buy 59.39 €
Total f*cking godhead. La biografia di Chris Cornell Corbin Reiff / Libro In brossura
common.buy 34.09 €
Nuvole Bianche Nessa 19971995 / Libro In brossura
common.buy 15.49 €
I migliori
Dalajlamova kočka Zákon kočičí přitažlivosti David Michie / Libro Rigido
common.buy 10.09 €
Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes... / Libro In brossura
common.buy 28.79 €

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 136.99 €
Crystal Path Georgina Easterbrook / Libro Rigido
common.buy 23.19 €
Korean War Korea Institute of Military History / Libro In brossura
common.buy 41.09 €
Moo-Cow Kung-Fu-Cow Nick Sharratt / Libro Leporello
common.buy 6.99 €
Overcoming Sorrow: Poems in English and Russian Adolf Shvedchikov / Libro In brossura
common.buy 15.09 €
Hobby-horse Arthur W. Pinero / Libro In brossura
common.buy 16.89 €
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Libro In brossura
common.buy 18.09 €
Leaving Jesus James Wood Jr / Libro In brossura
common.buy 14.39 €
It's Ryan's Ranch Joyce Marie / Libro In brossura
common.buy 15.59 €
Getting Started with Grails Rudolph / Libro In brossura
common.buy 22.79 €
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Libro Rigido
common.buy 49.49 €
In preparazione
Sculptured Thin Films Russell F. Messier / Libro Rigido
common.buy 100.29 €
150 Idees Recues Sur L'Histoir FL / Libro In brossura
common.buy 25.99 €
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Libro In brossura
common.buy 54.29 €
First World, Third World William Ryrie / Libro Rigido
common.buy 113.19 €
Computer-aided Method Engineering Ajantha Dahanayake / Libro Rigido
common.buy 85.39 €
In preparazione
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Libro In brossura
common.buy 55.49 €
In preparazione
Invention of the Moving Assembly Line Dennis Abrams / Libro Rigido
common.buy 41.49 €
Responsible Management of Information Systems Stahl / Libro Rigido
common.buy 90.89 €
Patterns of a Network Economy Börje Johansson / Libro In brossura
common.buy 113.19 €

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?