Vérifier l’état de la commande

Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €

phone

Contact

phone

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

0

Livre 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

Langue

Anglais

Livre Livre de poche

Livre Hardware and Software: Verification and Testing Nir Piterman

Code Libristo: 09925334

Éditeurs Springer International Publishing AG, octobre 2015

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen... Description détaillée

Code Libristo: 09925334

?

points

127 b

51.69 € TVA incluse

Stockage externe Expédition sous 5-8 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Sommer im kleinen Laden des Glucks Marie Bostwick

/

Adobe ePub DRM

1.09 €

Porsche Speedster, m. 1 DVD Philipp Novak

/

Livre relié

19.90 €

Skopje

/

Livre de poche

12.95 €

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

/

Livre de poche

9.85 €

Sticker-Anziehpuppen Ballerina Eva Schindler

/

Livre de poche

8.09 €

Psychologia Kluczowe koncepcje Tom 1 Podstawy psychologii Zimbardo Philip

/

Livre de poche

19.89 €

Slor Eivor

/

CD Audio

19.59 €

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.

Actrice & Polyglotte

EWA KASP pour

Lire la vidéo

Ewa Kasp

Ewa Kasp

Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Hardware and Software: Verification and Testing

Auteur Nir Piterman

Langue

Anglais

Reliure Livre - Livre de poche

Date de parution 2015

Nombre de pages 293

EAN 9783319262864

ISBN 3319262866

Code Libristo 09925334

Éditeurs Springer International Publishing AG

Poids 4745

Dimensions 155 x 235 x 15

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique

Informatique et technologies de l’information > Matériel informatique > Equipement de réseau

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel

Informatique et technologies de l’information > Informatique > Informatique théorique

Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique

Informatique et technologies de l’information > Informatique > Intelligence artificielle

Offrez ce livre dès aujourd'hui

C’est simple

1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

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

/

Livre de poche

16.49 €

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

/

Livre de poche

30.79 €

Mine Till Midnight Lisa Kleypas

/

Livre de poche

8.79 €

The Gift Richard Paul Evans

/

CD Audio

15.89 €

Designing Bots: Creating Conversational Experiences Amir Shevat

/

Livre de poche

28.19 €

Monster in His Eyes J M Darhower

/

Livre de poche

13.59 €

Florentine and the Treasures of the Snow Herb Stine

/

Livre de poche

10.99 €

Little Children's Pirate Activity Book Rebecca Gilpin

/

Livre de poche

8.29 €

Wheat Belly (Revised and Expanded Edition) William Davis

/

Livre de poche

16.49 €

Chaos Dan Piepenbring

/

Livre de poche

12.49 €

The 100 Kass Morgan

/

Livre de poche

11.09 €

Otaku Food! Danielle Baghernejad

/

Livre de poche

25.09 €

Girl and the Goddess Nikita Gill

/

Livre relié

14.69 €

Hands Down Mariana Zapata

/

Livre de poche

20.09 €

Dead Mount Death Play, Vol. 5 Ryohgo Narita

/

Livre de poche

11.19 €

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

/

Livre de poche

11.19 €

Principios Cooperativistas Na Percepcao DOS Associados JACIARA XAV RIBEIRO

/

Livre de poche

71.69 €

Peak Performance Table Tennis Kevin Finn

/

Livre de poche

18.09 €

Refractory Materials Faraday Society

/

Livre de poche

21.99 €

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

/

Livre de poche

27.59 €

Fairy and Fantasy Grayscale Coloring Book Christine Karron

/

Livre de poche

15.39 €

Complete Works of William Shakespeare William Shakespeare

/

Livre relié

24.29 €

Start with No Jim Camp

/

Livre relié

25.09 €

How to Feel Good Naked Sheila Bridge

/

Livre de poche

13.49 €

Conseiller littéraire Libroamiko

Bonjour, je suis Libroamiko, puis-je vous aider ?