«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

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software Bernd Fischer
Código Libristo: 09486332
Editores Springer International Publishing AG, agosto 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... 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

Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Libro Tapa blanda
common.buy 25.69 €
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Libro Tapa blanda
common.buy 90.29 €
Two Indian Children of Long Ago Frances Lilian Taylor / Libro Tapa blanda
common.buy 16.09 €
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Libro Tapa dura
common.buy 6.49 €
Nech se vést láskou Sri Chinmoy / Artículos impresos Tarjetas
common.buy 4.39 €
COLOREA TU UNICORNIO / Libro Libro
common.buy 8.29 €
451° по Фаренгейту Рэй Брэдбери / Libro Tapa dura
common.buy 15.39 €
Jóvenes empresarios: apoyo y formación / Libro Tapa blanda
common.buy 59.99 €
Servalo Raine Hawthorn / Libro Tapa blanda
common.buy 11.79 €
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendario/Diario Calendario
common.buy 23.59 €
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Libro Tapa blanda
common.buy 15.89 €
Krankheiten des Magens Max Einhorn / Libro Tapa blanda
common.buy 26.69 €
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Libro Tapa blanda
common.buy 68.79 €
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Libro Tapa dura
common.buy 87.99 €
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Libro Tapa blanda
common.buy 12.89 €
Jardin Des Cultures Guyanaises Buland-F / Libro Tapa blanda
common.buy 70.79 €
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Libro Tapa blanda
common.buy 11.09 €
Modern Sehircilikte Rekreasyon ve Rekreasyon Liderligi Umut Davut Basoglu / Libro Tapa blanda
common.buy 49.19 €
Al culmine della disperazione Emil M. Cioran / Libro Tapa blanda
common.buy 30.69 €
TEHG - ZuV 2020 Lars Hoffmann / Libro Libro
common.buy 74.39 €
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Libro Tapa blanda
common.buy 21.69 €
Teczka ofertowa 9002 A4 20 koszulek / Libro binding.
common.buy 3.89 €
Económico
LAC Wanderkarte Madonie 1:50 000 / Artículos impresos Mapa
common.buy 6.99 €
DUSK MAIDEN OF AMNESIA 4 MAYBE / Libro Tapa dura
common.buy 10.99 €

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

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 Bernd Fischer, Jaco Geldenhuys
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 319
EAN 9783319234038
ISBN 331923403X
Código Libristo 09486332
Editores Springer International Publishing AG
Peso 5153
Dimensiones 155 x 235 x 20

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

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Libro Tapa dura
common.buy 713.99 €
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / Libro electrónico Adobe ePub DRM
common.buy 2.09 €
Best Fairy Tales Hans Christian Andersen / Libro Tapa dura
common.buy 12.79 €
History and Development of the Arabic Language Mohamed El-Sharkawi / Libro Tapa blanda
common.buy 73.39 €
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Libro Tapa blanda
common.buy 34.39 €
Protecting Maggie / Libro Tapa blanda
common.buy 16.49 €
Journal of Biblical and Theological Studies Ryan A. Brandt / Libro Tapa blanda
common.buy 21.09 €
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Libro Tapa blanda
common.buy 12.59 €
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Libro Tapa blanda
common.buy 12.19 €
The New Century Standard Letter-Writer Alfred B. Chambers / Libro Tapa blanda
common.buy 39.39 €
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Libro Tapa dura
common.buy 58.99 €
Branding Japanese Food Katarzyna J. Cwiertka / Libro Tapa dura
common.buy 90.29 €
Superpower Involvement In The Middle East Paul Marantz / Libro electrónico Adobe ePub DRM
common.buy 57.29 €
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Libro Tapa blanda
common.buy 99.39 €
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Libro Tapa dura
common.buy 46.49 €
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Libro Tapa blanda
common.buy 16.39 €
Delicious Rob Dunn / Libro Tapa blanda
common.buy 17.29 €
Psychology Ryan Gold / Libro Tapa blanda
common.buy 15.49 €
Travel Activity Book For Kids Ages 6-8: Over 150 Travelling Activities for Children, including Puzzles, Mazes, Dot-to-Dots, Drawing and Coloring, Lett Natural Designs / Libro Tapa blanda
common.buy 11.19 €
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Libro Tapa dura
common.buy 259.19 €
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Libro Tapa blanda
common.buy 60.49 €
Cinema of Hong Kong Poshek FuDavid Desser / Libro Tapa blanda
common.buy 41.59 €
Women Vietnam Veterans DONNA A. LOWERY / Libro Tapa blanda
common.buy 32.29 €
Popular
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Libro Tapa blanda
common.buy 20.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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?