«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Symbolic Model Checking

Idioma InglésInglés
Libro Tapa dura
Libro Symbolic Model Checking Kenneth L. McMillan
Código Libristo: 42163944
Editores Kluwer Academic Publishers, julio 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Descripción completa
? points 266 b
108.59 €
Almacenamiento externo Envío en 10-18 días

Política de devolución de 30 días

Clientes que también han comprado

Sputnik Christian Berkel / Audio CD de audio
common.buy 26.29 €
Schau genau, per St Juego/Juguete Juego
common.buy 20.19 €
Das Fachbuch zum Taschenrechner Rebell SC2060S / Libro Tapa blanda
common.buy 14.99 €
Necromáquina ROSSANA REGUILLO / Libro Tapa blanda
common.buy 23.79 €
Cycle de l'Atlantide, tome 1 Ariel Riseln / Libro Tapa blanda
common.buy 21.59 €
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Libro Tapa blanda
common.buy 31.19 €
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Libro Tapa blanda
common.buy 28.59 €
Vous et votre voiture / Libro Tapa blanda
common.buy 39.19 €
Polacy w służbie Moskali Chwalba Andrzej / Libro Tapa blanda
common.buy 32.19 €
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Libro Tapa blanda
common.buy 39.69 €
Malbuch für Geist & Seele Dana Zimmermann / Libro Tapa blanda
common.buy 9.79 €
Introdução à Química dos Alimentos Paulo Figueiredo / Libro Tapa blanda
common.buy 41.29 €
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Libro Tapa blanda
common.buy 14.99 €
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Libro Tapa blanda
common.buy 49.79 €
Jenny Fanny Lewald / Libro Tapa blanda
common.buy 17.79 €
Yoga-Anatomie 3D Ray Long / Libro Tapa blanda
common.buy 23.49 €
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Libro Tapa dura
common.buy 63.69 €

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Symbolic Model Checking
Autor Kenneth L. McMillan
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 1993
Número de páginas 194
EAN 9780792393801
ISBN 0792393805
Código Libristo 42163944
Editores Kluwer Academic Publishers
Peso 426
Dimensiones 179 x 229 x 18

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Electrónica: circuitos y componentes
Computación e informática > Ciencias de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Book of Bees Piotr Socha / Libro Tapa dura
common.buy 22.99 €
Complete Account Of The Settlement At Port Jackson Watkin Tench / Libro Tapa blanda
common.buy 20.79 €
South Asian Politics and Religion Donald Eugene Smith / Libro Tapa dura
common.buy 232.59 €
Clip Studio Paint by Example Ludovico Serra / Libro Tapa blanda
common.buy 63.19 €
Encyclopaedia of World Bridges David McFetrich / Libro Tapa dura
common.buy 39.89 €
Great American Decades Puzzle Book 2000s / Libro Tapa blanda
common.buy 9.09 €
Próximamente
MBS Crown / Libro Tapa blanda
common.buy 15.49 €
Heart of Valor: Gay Romance Dj Monroe / Libro Tapa blanda
common.buy 9.79 €
Prima Facie Gunnar Farinha / Libro Tapa blanda
common.buy 10.69 €
Place of the Beautiful in the City Plan John Nolen / Libro Tapa dura
common.buy 27.89 €
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / Libro electrónico Adobe ePub DRM
common.buy 111.89 €
Atomic Properties in Hot Plasmas Jacques Bauche / Libro Tapa dura
common.buy 112.79 €
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Libro Tapa blanda
common.buy 27.89 €
Surgery of the Stomach Horst D. Becker / Libro Tapa blanda
common.buy 112.79 €
Popular
NKJV, Simply Charming Bible Thomas Nelson / Libro Tapa dura
common.buy 26.39 €
Voicework in Music Therapy Felicity Baker / Libro Tapa blanda
common.buy 66.49 €
Usborne Geography Encyclopedia Gillian Doherty / Libro Tapa blanda
common.buy 19.59 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?