«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

8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software Matthew Dwyer
Código Libristo: 01563494
Editores Springer, Berlin, noviembre 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... 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

Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh / Libro Tapa blanda
common.buy 54.09 €
Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue / Libro electrónico Adobe ePub DRM
common.buy 15.69 €
Vláček a jeho kamarádi / Libro Libro de concertinas
common.buy 13.29 €
Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora / Libro Tapa blanda
common.buy 5.99 €
Las Historias Del Origen De Los Indios De Esta Provincia De Guatemala, Tr. Por F. Ximenez. Publ. Y Aumentado Con Una Intr. Y Anotaciones Por C. Scherz Popol-vuh / Libro Tapa blanda
common.buy 21.99 €
Próximamente
GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová / Artículos impresos Tarjetas
common.buy 21.19 €
Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA / Libro Tapa blanda
common.buy 44.39 €
Tokos Gianna Hedderich / Libro Tapa blanda
common.buy 35.89 €
MI Jevgenyij Zamjatyin / Libro Tapa dura
common.buy 11.79 €
Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Calendario/Diario Calendario
common.buy 80.69 €
G_d'S Pee at State'S End! Godspeed You! Black Emperor Audio Vinilo de audio
common.buy 40.19 €
Číňan Henning Mankell / Libro Tapa dura
common.buy 13.29 €
Shopkins Cicibiciler - Mutsuz Kurabi / Libro Tapa blanda
common.buy 22.99 €
Český jazyk pro 3. ročník SOŠ Čechová / Libro Tapa blanda
common.buy 8.89 €
Postdemokratie Colin Crouch / Libro Tapa blanda
common.buy 12.09 €
Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski / Libro Tapa blanda
common.buy 17.89 €
Treasurers of the Snow Patricia St John / Libro Tapa blanda
common.buy 15.19 €
La casa de Tomasa Phyllis Root / Libro Tapa blanda
common.buy 22.85 €
Aguas arriba de mi madre Arnáiz / Libro Tapa blanda
common.buy 22.09 €
Fiat 850. 1964-1973 Alessandro Sannia / Libro Tapa blanda
common.buy 23.89 €
Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux / Libro Tapa blanda
common.buy 23.99 €
Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles / Libro Tapa blanda
common.buy 11.19 €
La bible de l'homéopathie et des traitements naturels Alain Paul / Libro Tapa blanda
common.buy 28.79 €
Económico
Mafiánsky gang Sýkorovcov + DVD Gustáv Murín / Libro Tapa dura
common.buy 11.09 €

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

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 Matthew Dwyer
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2001
Número de páginas 318
EAN 9783540421245
ISBN 3540421246
Código Libristo 01563494
Editores Springer, Berlin
Peso 467
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

Damnation Peter McLean / Libro Tapa blanda
common.buy 13.19 €
Do Vikings Wear Glasses? Jon Laidlaw / Libro Tapa blanda
common.buy 17.09 €
Cracked Chessboard Elizabeth Emberton / Libro Tapa blanda
common.buy 19.09 €
Leisure Marketing HORNER / Libro Tapa dura
common.buy 298.19 €
Philip Roth: Nemeses (LOA #237) Philip Roth / Libro Tapa dura
common.buy 28.49 €
Benjamin Franklin: His Life as He Wrote It Benjamin Franklin / Libro Tapa blanda
common.buy 32.79 €
Three Nearsighted Mice Diane Epstein / Libro Tapa blanda
common.buy 16.39 €
Popular
Hollow MYERS CELINA / Libro Tapa dura
common.buy 23.39 €
Oxford Handbook of International Criminal Law Darryl Robinson / Libro Tapa blanda
common.buy 57.49 €
Finally Enough Love Madonna / Audio Vinilo de audio
common.buy 36.39 €
History of Market Drayton John Robinson Lee / Libro Tapa blanda
common.buy 17.89 €
Raemakers' Cartoons: With Accompanying Notes by Well-Known English Writers Louis Raemaekers / Libro Tapa blanda
common.buy 32.79 €
Prince Charming Charity L Maness / Libro Tapa blanda
common.buy 10.69 €
A Prayer for Inner Peace Allan A Glatthorn / Libro Tapa blanda
common.buy 12.59 €
Telecommunications Handbook for Transportation Professionals: The Basics of Telecommunications U S Department of Transportation / Libro Tapa blanda
common.buy 18.19 €
Love and War Warren MacQuarrie / Libro Tapa dura
common.buy 42.49 €
Lonely Hearts Cry Anji Nolan / Libro Tapa blanda
common.buy 15.89 €
Saint of Lost Things Tish Delaney / Libro electrónico Adobe ePub DRM
common.buy 10.49 €
Data Governance Act Moritz Hennemann / Libro Tapa dura
common.buy 196.19 €
American Nation: A History, Vol. 9 Jeremy Schifeling / Audiolibro MP3
common.buy 21.29 €
My School Improvement Doodle Book Ben Keeling / Libro Tapa blanda
common.buy 16.29 €
Underdog Sue-Ann Levy / Libro Tapa dura
common.buy 32.29 €
Oxford English for Academic Purposes B1+ Teacher's Handbook de Chazal Edward / Libro Tapa blanda
common.buy 59.29 €
Nine Man Eaters and One Rogue Kenneth Anderson / Libro Tapa blanda
common.buy 24.99 €

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?