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

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Technology for Verification and Analysis Cyrille Artho
Código Libristo: 13938039
Editores Springer International Publishing AG, septiembre 2016
This book constitutes the proceedings of the 14th International Symposium on Automated Technology fo... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Rochefiere: Etudes Humaines Monteil-E / Libro Tapa blanda
common.buy 26.09 €
Natya Shala / Libro Tapa blanda
common.buy 17.09 €
The Boy From Nowhere Grigi Valandy / Libro Tapa blanda
common.buy 19.09 €
Standard contre standards Gabrielle Beguin / Libro Tapa blanda
common.buy 26.09 €
Derrière l'écran K.L. Blackmoore / Libro Tapa blanda
common.buy 12.99 €
Churpfalzbaierisches Regierungsblatt Anonym / Libro Tapa blanda
common.buy 25.19 €
Duanin Ruhu Eva De Vitray-Meyerovitch / Libro Tapa blanda
common.buy 11.19 €
Fussball als Kulturphanomen. Was macht den Fussball so attraktiv? Maximilian Pfannschmidt / Libro Tapa blanda
common.buy 17.89 €
La gestión de eventos y productos turísticos INMACULADA OCAÑA / Libro Tapa blanda
common.buy 44.69 €
Gastronomie et cuisine valencienne : Castellón, Valence et Alicante ALEU Oriol / Libro Tapa blanda
common.buy 12.89 €
Maquinaria de obras públicas III : maquinaria específica y elementos auxiliares PEDRO BARBER LLORET / Libro Tapa blanda
common.buy 15.79 €
Baukosten Senken Ernst G. Brehmer / Libro Tapa blanda
common.buy 67.29 €

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.

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 Automated Technology for Verification and Analysis
Autor Cyrille Artho, Axel Legay, Doron Peled
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2016
Número de páginas 530
EAN 9783319465197
ISBN 3319465198
Código Libristo 13938039
Editores Springer International Publishing AG
Peso 8132
Dimensiones 155 x 235 x 31

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
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 > Ciencias de la computación > Inteligencia artificial
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

ONE EARTH SPINELLI EILEEN / Libro Tapa dura
common.buy 8.69 €
DreamWork Kelly Wallace / Libro Tapa blanda
common.buy 10.29 €
Treatise of Beneficiary Matters PAOLO SARPI / Libro Tapa dura
common.buy 35.79 €
Milarepa and the Art of Discipleship I Sangharakshita / Libro Tapa dura
common.buy 34.19 €
John Deere 6351T AR65349 Turbocharger Rebuild Guide and Shop Manual: Garrett Honeywell T04B26 409760-0001, 409760-9001, 409760-5001, 409760-1 Turbocha Brian Smothers / Libro Tapa blanda
common.buy 34.09 €
My Baby Girls First Yearbook Dru L Murray / Libro Tapa blanda
common.buy 11.49 €
Reassessing Foucault Colin Jones / Libro Tapa blanda
common.buy 63.69 €
Call Diana Sautelle / Libro Tapa blanda
common.buy 26.39 €
Degradation of plastics waste and its effects on environmental aspects Subhashish Dey / Libro Tapa blanda
common.buy 43.29 €
Right Angle Club Annual Report 2011 M. D. George Ross Fisher / Libro Tapa blanda
common.buy 15.39 €
Nature of Music: Beauty, Sound and Healing Maureen McCarthy Draper / Libro Tapa blanda
common.buy 23.79 €
Sun-Worship And Well-Worship (Folklore History Series) James M. Mackinlay / Libro Tapa blanda
common.buy 18.09 €
The Eye of the Virgin Frederick Ramsay / Libro Tapa blanda
common.buy 19.39 €

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?