«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

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software Dragan Bosnacki
Código Libristo: 01568802
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2007
This book constitutes the refereed proceedings of the 14th 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

Grundlinien der Philosophie D. Fr. Ast / Libro Tapa blanda
common.buy 52.99 €
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Libro Tapa blanda
common.buy 37.99 €
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Libro Tapa blanda
common.buy 10.19 €
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Libro Tapa blanda
common.buy 39.39 €
LES PEINTURES Beeckman / Libro Tapa blanda
common.buy 11.49 €
Popular
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Libro Tapa blanda
common.buy 15.09 €
Ötanazi Okulu 1 Ciltli / Libro Tapa blanda
common.buy 21.99 €
Popular
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Libro Tapa blanda
common.buy 24.59 €
Pasta Masterclass Wiebke Krabbe / Libro Tapa dura
common.buy 28.09 €
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Libro Tapa blanda
common.buy 43.39 €
Krevní banka Tanya Huffová / Libro Tapa blanda
common.buy 8.69 €
Das Quiz für Besserwisser I ab 10 Jahren / Libro Tapa dura
common.buy 7.39 €
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Libro Tapa blanda
common.buy 33.19 €
Senzibil Markéta Pilátová / Libro Tapa dura
common.buy 12.79 €
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Libro Tapa blanda
common.buy 26.89 €
Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi / Libro Tapa blanda
common.buy 16.79 €
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Libro Tapa blanda
common.buy 18.89 €
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Libro Tapa blanda
common.buy 9.19 €
Económico
Raphael und Pinturicchio in Siena August Schmarsow / Libro Tapa blanda
common.buy 1.49 €
Sally y la maldición del rubí PULLMAN / Libro Tapa blanda
common.buy 7.69 €
La psicología en la escuela Delval / Libro Tapa blanda
common.buy 17.69 €
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Libro Tapa blanda
common.buy 58.09 €

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

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 Edelkamp
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2007
Número de páginas 285
EAN 9783540733690
ISBN 3540733698
Código Libristo 01568802
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 462
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

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Libro Tapa blanda
common.buy 15.39 €
Space Warfare in the 21st Century Joan Johnson-Freese / Libro Tapa blanda
common.buy 60.49 €
First Man Simon Schwartz / Libro Tapa dura
common.buy 37.49 €
Islam in Turkey Frances Hawker / Libro Tapa blanda
common.buy 8.79 €
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Libro Tapa blanda
common.buy 13.49 €
Facebook Marketing Guide for Beginners Steven Murphy / Libro Tapa blanda
common.buy 12.69 €
Drug And Disease Free Michael Broder / Libro Tapa blanda
common.buy 10.39 €
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Libro Tapa dura
common.buy 79.59 €
Around the World in 80 Days Jules Verne / Libro Tapa blanda
common.buy 8.19 €
Popular
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Libro Tapa blanda
common.buy 38.39 €
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Libro Tapa blanda
common.buy 10.99 €
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Libro Tapa blanda
common.buy 33.29 €
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Libro Tapa blanda
common.buy 14.79 €
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / Libro electrónico Adobe ePub DRM
common.buy 387.59 €
Centroeuropa Vincente Luis Mora / Libro Tapa blanda
common.buy 12.79 €
Clinical Oral Pathology Nabil Kochaji / Libro Tapa dura
common.buy 110.59 €
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Libro Tapa dura
common.buy 79.79 €
Deregulation of Network Industries Sam Peltzman / Libro Tapa blanda
common.buy 34.19 €
Little Men Louisa May Alcott / Libro Tapa blanda
common.buy 11.69 €
Braided Rivers: Process, Deposits, Ecology, Management Jim Best / Libro Tapa blanda
common.buy 200.09 €
Swahili for Foreigners Alice Wanjiku Mangat / Libro Tapa blanda
common.buy 52.39 €
Preaching the Tradition Rex Mason / Libro Tapa blanda
common.buy 49.79 €
Contact! Bob Tuxford / Libro Tapa dura
common.buy 33.79 €
MOD Richard Weight / Libro Tapa blanda
common.buy 17.29 €

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