«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.

Handbook of Model Checking

Idioma InglésInglés
Libro Tapa blanda
Libro Handbook of Model Checking Edmund M. Clarke
Código Libristo: 22516061
Editores Springer Nature Switzerland AG, junio 2019
Model checking is a computer-assisted method for the analysis of dynamical systems that can be model... Descripción completa
? points 410 b
167.39 €
50% de probabilidad Buscaremos por todo el mundo ¿Cuándo recibiré mi libro?

Hasta 30 días para devoluciones

Clientes que también han comprado

Reisen Eines Naturforschers Im Tropischen Sudamerika Otto Brger / Libro Tapa blanda
common.buy 27.89 €
Campus C Wortschatztraining 3 - neu Christian Zitzl / Libro Tapa blanda
common.buy 16.09 €
LE JARDIN DE MADAME LI Marie SELLIER / Libro Tapa dura
common.buy 19.69 €
Osmanlica Türkce Sözlük / Libro Tapa blanda
common.buy 12.19 €
Abordagem de Classificaç?o Melhorada para Detetar Doenças no Sangue Humano Rana Ali / Libro Tapa blanda
common.buy 49.19 €
Weihnachten??? Christlich??? Märchen??? Oder Satanisch??? Adelheid Sonnenschein / Libro Tapa blanda
common.buy 23.69 €
Laissez-nous rouler sans stress Rollet / Libro Tapa blanda
common.buy 15.89 €

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer

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 Handbook of Model Checking
Autor Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2019
Número de páginas 1210
EAN 9783030132330
ISBN 3030132331
Código Libristo 22516061
Editores Springer Nature Switzerland AG
Peso 1823
Dimensiones 155 x 235

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software > Pruebas y verificación de software
Computación e informática > Ciencias de la computación > Teoría matemática 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

Red Cell Shape M. Bessis / Libro Tapa blanda
common.buy 135.29 €
Nuevo
American Constitutional Law John C. Yoo / Libro Tapa dura
common.buy 346.19 €
Reimagining Civil Society Collaborations in Development Margit van Wessel / Libro Tapa dura
common.buy 205.09 €
Mornin' Tiger Nancy L. White / Libro electrónico Adobe ePub DRM
common.buy 4.89 €
China's New Urbanization Sun / Libro Tapa blanda
common.buy 48.79 €
Data-Driven Traffic Engineering Micha Koller / Libro Tapa blanda
common.buy 146.99 €
Everything You Should Know About: Geese and Albatrosses Anne Richards / Libro Tapa blanda
common.buy 14.49 €
The Kidnap Victim Michael P King / Libro Tapa blanda
common.buy 12.59 €
Radiation Diaries Janet Todd / Libro Tapa blanda
common.buy 10.99 €
Otis Grows Kathryn Hast / Libro Tapa blanda
common.buy 11.59 €
England's perfect school-master. Or, directions for exact spelling, reading, and writing. Shewing how to spell or read any chapter in the Bible by fou Nathaniel Strong / Libro Tapa blanda
common.buy 17.19 €
FBI Domestic Investigations and Operations Guide, Part 4 of 5 - Scholar's Choice Edition The Federal Bureau of Investigation (Fbi / Libro Tapa blanda
common.buy 17.09 €

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?