Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

«Comprobar estado del pedido»

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

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

phone

Ayuda

Mi cuenta

▸ Vacío :-(

0

Envío gratis a partir de 69,99 euros.

Libro Hardware and Software: Verification and Testing Nir Piterman

Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Idioma

Inglés

Libro Tapa blanda

Libro Hardware and Software: Verification and Testing Nir Piterman

Código Libristo: 09925334

Editores Springer International Publishing AG, octubre 2015

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen... Descripción completa

Código Libristo: 09925334

?

points

133 b

54.29 €

Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Psychologia Kluczowe koncepcje Tom 1 Podstawy psychologii Zimbardo Philip

/

Tapa blanda

19.39 €

Sticker-Anziehpuppen Ballerina Eva Schindler

/

Tapa blanda

8.49 €

Skopje

/

Tapa blanda

12.99 €

Slor Eivor

/

CD de audio

20.59 €

Porsche Speedster, m. 1 DVD Philipp Novak

/

Tapa dura

18.79 €

40 Baby Meilenstein-Karten für das 1. Lebensjahr für Mädchen und Junge. Baby Milestone Cards deutsch, zur Erinnerung der Entwicklung der ersten Monate Sophie Heisenberg

/

Tapa blanda

9.89 €

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; veri cation of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain veri cation; synthesis.

Actriz & Políglota

EWA KASP para

Visualizar el vídeo

Ewa Kasp

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 Hardware and Software: Verification and Testing

Autor Nir Piterman

Idioma

Inglés

Encuadernación Libro - Tapa blanda

Fecha de publicación 2015

Número de páginas 293

EAN 9783319262864

ISBN 3319262866

Código Libristo 09925334

Editores Springer International Publishing AG

Peso 4745

Dimensiones 155 x 235 x 15

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

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

Hidden Treasures in the Book of Job - How the Oldest Book in the Bible Answers Today`s Scientific Questions Hugh Ross

/

Tapa blanda

16.49 €

Student's Guide to the Schroedinger Equation Daniel A. Fleisch

/

Tapa blanda

31.39 €

Mine Till Midnight Lisa Kleypas

/

Tapa blanda

9.39 €

The Gift Richard Paul Evans

/

CD de audio

16.69 €

Designing Bots: Creating Conversational Experiences Amir Shevat

/

Tapa blanda

28.19 €

Hacker's Delight Henry Warren

/

Tapa dura

57.49 €

Oxford First Dictionary Oxford Dictionaries

/

Tapa dura

19.89 €

Florentine and the Treasures of the Snow Herb Stine

/

Tapa blanda

10.99 €

Little Children's Pirate Activity Book Rebecca Gilpin

/

Tapa blanda

12.09 €

Wheat Belly (Revised and Expanded Edition) William Davis

/

Tapa blanda

16.49 €

Chaos Dan Piepenbring

/

Tapa blanda

11.79 €

Monster in His Eyes J M Darhower

/

Tapa blanda

13.59 €

Otaku Food! Danielle Baghernejad

/

Tapa blanda

25.09 €

Girl and the Goddess Nikita Gill

/

Tapa dura

15.09 €

Hands Down Mariana Zapata

/

Tapa blanda

20.09 €

Dead Mount Death Play, Vol. 5 Ryohgo Narita

/

Tapa blanda

11.19 €

Our Not-So-Lonely Planet Travel Guide, Volume 1 Mone Sorai

/

Tapa blanda

11.69 €

Principios Cooperativistas Na Percepcao DOS Associados JACIARA XAV RIBEIRO

/

Tapa blanda

75.69 €

Peak Performance Table Tennis Kevin Finn

/

Tapa blanda

18.09 €

Refractory Materials Faraday Society

/

Tapa blanda

21.99 €

Statistics for the Trading Floor: Data Science for Investing Patrick Boyle

/

Tapa blanda

27.59 €

Fairy and Fantasy Grayscale Coloring Book Christine Karron

/

Tapa blanda

15.39 €

The 100 Kass Morgan

/

Tapa blanda

11.79 €

In Search of Lost Time: Volume 2 Marcel Proust

/

Tapa blanda

13.19 €

Asesor de libros Libroamiko

Hola, soy Libroamiko, ¿puedo ayudarte?