«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

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software Jaco C. van de Pol
Código Libristo: 01656755
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septiembre 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Descripción completa
? points 148 b
60.49 €
Almacenamiento externo Envío en 9-15 días

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

Clientes que también han comprado

Star Wars Hidden Empire T02 / Libro Tapa blanda
common.buy 21.79 €
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendario/Diario Calendario
common.buy 59.19 €
Be Kind (Nepali-English) Livia Lemgruber / Libro Tapa blanda
common.buy 18.09 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Calendario/Diario Diario
common.buy 10.89 €
Den Libanon lieben lernen Laura Ziegler / Libro Tapa blanda
common.buy 8.09 €
Diamante Nero Victoria Quinn / Libro Tapa blanda
common.buy 16.39 €
Die besten Aufstriche selbst gemacht Charly Till / Libro Tapa blanda
common.buy 9.59 €
Textanfänge Ulrike Krieg-Holz / Libro Tapa blanda
common.buy 51.69 €
Raketa Hravá kniha pro děti collegium / Libro Tapa blanda
common.buy 13.59 €
Nach dem bewaffneten Kampf Angelika Holderberg / Libro Tapa blanda
common.buy 10.49 €
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Libro Tapa blanda
common.buy 14.19 €
Uzniki Razuma Tat'yana Volkova / Libro Tapa blanda
common.buy 57.89 €

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

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 Jaco C. van de Pol, Michael Weber
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 263
EAN 9783642161636
ISBN 3642161634
Código Libristo 01656755
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 421
Dimensiones 159 x 235 x 18

Categorías

Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
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 > Teoría matemática de la computación
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

Sword Song Sal Quartuccio / Libro Tapa blanda
common.buy 20.69 €
Myofascial Induction (TM) Andrzej Pilat / Libro Tapa dura
common.buy 157.49 €
Down the Highway: The Life of Bob Dylan Howard Sounes / Libro Tapa blanda
common.buy 18.09 €
The Shadow Lily Johanna Mo / Libro Tapa blanda
common.buy 14.69 €
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Libro Tapa blanda
common.buy 7.39 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Libro Tapa blanda
common.buy 14.19 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Libro Tapa blanda
common.buy 7.79 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Libro Tapa blanda
common.buy 32.79 €
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Libro Tapa blanda
common.buy 15.19 €
Shadowless Alison Robinson / Libro Tapa dura
common.buy 18.89 €
Harbor Knight Ralph A Garcia / Libro Tapa blanda
common.buy 16.49 €
Best Is Always... Still Yet to Come! Keith Payne / Libro Tapa blanda
common.buy 18.09 €
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Libro Tapa dura
common.buy 45.59 €
Tour to London Pierre Jean Grosley / Libro Tapa blanda
common.buy 28.89 €
Boxer's Bible of Counterpunching Mark Hatmaker / Libro Tapa blanda
common.buy 11.89 €

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?