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

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software Dragan Bosnacki
Código Libristo: 01564229
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2002
"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Chec... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Dieter Kropp's Weihnachts-Liederbuch für die Mundharmonika (Blues Harp) in C-Dur, m. Audio-CD Dieter Kropp / Artículos impresos Partituras
common.buy 21.39 €
La Cascade Féerique, Audio-CD Michel Pépé / Audio CD de audio
common.buy 17.39 €
BilMoG und Interne Revision Alexander Hofem / Libro Tapa blanda
common.buy 30.79 €
Tu eres mi heroe JUAN CARLOS CHANDRO RAMIREZ / Libro Tapa blanda
common.buy 9.79 €
Erlebnis und Geschichte Edgar Feuchtwanger / Libro Tapa blanda
common.buy 34.39 €
Design Universal e a Terceira Idade Maria Goretti Fernandes Fernandes / Libro Tapa blanda
common.buy 39.39 €

"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.§The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system."

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 Model Checking Software
Autor Dragan Bosnacki, Stefan Leue
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2002
Número de páginas 262
EAN 9783540434771
ISBN 3540434771
Código Libristo 01564229
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 472
Dimensiones 155 x 235 x 16

Categorías

Computación e informática > Aplicaciones gráficas y multimedia > Gráficos y modelado en 3D
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
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

Marriages and Deaths from Mississippi Newspapers Betty C Wiltshire / Libro Tapa blanda
common.buy 29.89 €
Arduino Circuit Board Projects HandsOn: Coin Sorting Machine, Brilliant Restaurant Menu Ordering, your own Wi-Fi Repeater, Buzz Wire Game, Fan Speed C Ambika Parameswari K / Libro Tapa blanda
common.buy 17.79 €
Picross Hanjie Griddlers Nonograms book Djape / Libro Tapa blanda
common.buy 12.59 €
Indictment of the American Clergy THOMAS WADE / Libro Tapa blanda
common.buy 15.89 €
The Beach, mit 1 CD-ROM/Audio-CD. 1. Lernjahr Rick Sampedro / Libro Tapa blanda
common.buy 13.29 €
Lilith: the Legend of the First Woman Ada Langworthy Collier / Libro Tapa blanda
common.buy 20.09 €
The Queen's Gamble Barbara Kyle / Libro Tapa blanda
common.buy 18.79 €
French & Indian War Novels Joseph A. Altsheler / Libro Tapa dura
common.buy 44.59 €
Forever Words James Garvin / Libro Tapa blanda
common.buy 13.69 €
Shakespeare and Race Imtiaz Habib / Libro Tapa dura
common.buy 87.99 €
Social Structure Charles Crothers / Libro Tapa dura
common.buy 242.59 €
Power to the Patient Atlas / Libro Tapa blanda
common.buy 13.89 €
Quantum Fractals: From Heisenberg's Uncertainty To Barnsley's Fractality Arkadiusz Jadczyk / Libro Tapa dura
common.buy 141.89 €
For Derrida J. Hillis Miller / Libro Tapa blanda
common.buy 57.49 €
Critical Dictionary of the French Revolution Francois Furet / Libro Tapa dura
common.buy 238.89 €
Modern Monetary Theory M.L. Burstein / Libro Tapa blanda
common.buy 118.29 €
Strangers In Death J. D. Robb / Libro Tapa blanda
common.buy 12.79 €

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