«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

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software Patrick Godefroid
Código Libristo: 01560970
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2005
This book constitutes the refereed proceedings of the 12th 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

Die Transformatoren R. Küchler / Libro Tapa blanda
common.buy 84.39 €
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / Libro electrónico Adobe ePub DRM
common.buy 2.79 €
Próximamente
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Juego/Juguete Juguete
common.buy 77.89 €
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / Libro electrónico Adobe ePub DRM
common.buy 0.99 €
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Libro Tapa blanda
common.buy 7.19 €
Global Tools (1973-1975) / Libro Tapa dura
common.buy 42.79 €
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Libro Tapa blanda
common.buy 21.69 €
Ineos Grenadier Jörg Sand / Libro Tapa dura
common.buy 17.89 €
Šťastie na prenájom Lucia Braunová / Libro Tapa blanda
common.buy 7.79 €
Passwort Logbuch Uwe H. Sültz / Libro Tapa blanda
common.buy 4.99 €
SLOVO BUDHOVO Nyánatiloka Maháthera / Libro Libro
common.buy 7.99 €
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Libro Tapa blanda
common.buy 12.09 €
La Region Mas Transparente Carlos Fuentes / Libro Tapa blanda
common.buy 17.59 €
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Libro Tapa blanda
common.buy 47.29 €
Aronia - Das heimische Superfood Tanja Braune / Libro Tapa blanda
common.buy 17.89 €
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Libro Tapa blanda
common.buy 6.49 €
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Libro Tapa blanda
common.buy 27.49 €
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Libro Tapa blanda
common.buy 18.29 €
Les Petits Loustics Hugues Denisot / Libro Tapa blanda
common.buy 15.49 €
Ingenieurbauführer Berlin Roland May / Libro Tapa blanda
common.buy 28.09 €
Main de fer et gant de velours Virginie Platel / Libro Tapa blanda
common.buy 22.99 €
En Ovantad flykt till Sverige Tadesse Kassa / Libro Tapa blanda
common.buy 12.09 €
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Libro Tapa blanda
common.buy 8.19 €

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

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 Patrick Godefroid
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2005
Número de páginas 292
EAN 9783540281955
ISBN 3540281959
Código Libristo 01560970
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 960
Dimensiones 155 x 235 x 17

Categorías

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

Mini Look & Find at School (Mini Look & Find) Thierry Laval / Libro Tapa dura
common.buy 10.59 €
Across the Seasons Laura Rugel Glise / Libro Tapa blanda
common.buy 19.99 €
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Libro Tapa blanda
common.buy 21.19 €
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Libro Tapa dura
common.buy 215.89 €
Home On Bramble Hill Holly Martin / Audiolibro MP3
common.buy 16.09 €
Not in the Flesh Ruth Rendell / Libro Tapa blanda
common.buy 16.29 €
Lakeland Lynn M. Homan / Libro Tapa blanda
common.buy 21.89 €
The English Baptists John Clifford / Libro Tapa dura
common.buy 44.79 €
White Cats Book Marjo-Kaisu Niinikoski / Libro Tapa blanda
common.buy 21.99 €
Gabriella's Reading Log Martha Day Zschock / Libro Tapa dura
common.buy 16.49 €
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Libro Tapa blanda
common.buy 39.39 €
Lightning Strikes Stephanie Richards / Libro Tapa blanda
common.buy 14.29 €
GREAT CAROLS Hal Leonard Corp / Libro Tapa blanda
common.buy 13.89 €
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Libro Tapa blanda
common.buy 9.69 €
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Libro Tapa blanda
common.buy 15.39 €
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Libro Tapa blanda
common.buy 10.39 €
Double Digit Annabel Monaghan / Libro electrónico Adobe ePub DRM
common.buy 2.59 €
Understanding FIDIC Kelvin Hughes / Libro Tapa dura
common.buy 183.69 €
Horrible Craft Book Laura Minter / Libro Tapa blanda
common.buy 16.49 €
Georgian Tinatin Bolkvadze / Libro Tapa dura
common.buy 194.39 €
Fishing Holidays Stephen Gwynn / Libro Tapa blanda
common.buy 24.99 €
Fist Number 6 Dean Whittington / Libro Tapa dura
common.buy 28.19 €
Hegel J. M. Fritzman / Libro Tapa blanda
common.buy 29.49 €
African Women and Apartheid Rebekah Lee / Libro Tapa dura
common.buy 205.49 €

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