«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

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Technology for Verification and Analysis Franck Cassez
Código Libristo: 05338676
Editores Springer International Publishing AG, septiembre 2014
This book constitutes the proceedings of the 12th 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

Catalogue de Tableaux Modernes, Aquarelles, Pastels, Dessins Par Nanny Adam, Ary Scheffer / Libro Tapa blanda
common.buy 13.19 €
Die Tote im roten Kleid Ann Cleeves / Libro Tapa blanda
common.buy 18.89 €
Económico
Zvláštny návrat Rachel Priceovej Holly Jackson / Libro Tapa blanda
common.buy 13.89 €

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 papers presented in this volume were carefully reviewed and selected from 76 submissions.

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 Franck Cassez, Jean-Francois Raskin
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 430
EAN 9783319119359
ISBN 3319119354
Código Libristo 05338676
Editores Springer International Publishing AG
Peso 6847
Dimensiones 155 x 235 x 18

Categorías

Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
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
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

Fluoride in Drinking-Water K Bailey / Libro Tapa blanda
common.buy 101.19 €
Proceedings of Ninth International Congress on Information and Communication Technology Xin-She Yang / Libro Tapa blanda
common.buy 247.89 €
Whatever Next? Anne Glenconner / Libro Tapa blanda
common.buy 19.29 €
Forensic Science and Legal Medicine Francesco Sessa / Libro Tapa dura
common.buy 47.99 €
Catalog of 16mm Silent Motion Picture Film Library; E Inc Mogull's Camera and Film Exchange / Libro Tapa blanda
common.buy 17.09 €
The Sunday Afternoon: Fifty-Two Brief Sermons (1871) James Baldwin Brown / Libro Tapa blanda
common.buy 39.69 €
Aesthetics of Fraudulence in Nineteenth-Century France Scott Carpenter / Libro Tapa blanda
common.buy 75.49 €
Genesis: An Introduction and Commentary Andrew E Steinmann / Libro Tapa blanda
common.buy 22.99 €
Someday Is Now Olugbemisola Rhuday-Perkovich / Libro Tapa dura
common.buy 15.49 €
Simple Machines Pack A of 6 RUSTAD MARTHA E H / Libro Tapa blanda
common.buy 51.39 €
Menace J M Darhower / Libro Tapa blanda
common.buy 15.39 €
Love and Legislature Peter Styles / Libro Tapa blanda
common.buy 11.59 €
OTHER MINDS Peter Godfrey-Smith / Libro Tapa blanda
common.buy 16.29 €
Fracture of Composite Orthotropic Plates Containing Periodic Buffer Strips Feridun Delale / Libro Tapa blanda
common.buy 19.09 €
Coaching Through Effective Feedback - A Practical uide to Successful Communication Paul J. Jerome / Libro Tapa blanda
common.buy 30.89 €
Lectures on the History of Physiology Michael Foster / Libro Tapa blanda
common.buy 51.09 €
WDM Systems and Networks Neophytos (Neo) Antoniades / Libro Tapa blanda
common.buy 234.09 €
Life Narratives and Youth Culture Kate Douglas / Libro Tapa dura
common.buy 107.69 €
Millie Marotta Journal Millie Marotta / Libro Tapa dura
common.buy 12.29 €
Constructivist Psychotherapy Robert A Neimeyer / Libro Tapa blanda
common.buy 32.89 €
Coping Successfully with Pain Neville Shone / Libro Tapa blanda
common.buy 20.79 €
Art Isn't Easy Joanne Gordon / Libro Tapa blanda
common.buy 19.59 €
Prenatal Person: Ethics from Conception to Bir th Norman M. Ford / Libro Tapa blanda
common.buy 61.59 €
Próximamente
Materials for a Historical Dictionary of New Persian Loanwords in Old Anatolian and Ottoman Turkish from the 13th to the 16th Century Marzanna Pomorska / Libro Tapa blanda
common.buy 51.19 €

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?