Tools And Algorithms For The Construction And Analysis Of Systems de Marieke Huisman Format Broché

Tools and Algorithms for the Construction and Analysis of Systems - Marieke Huisman

Format: Broché
452 pages

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (2)

Occasion

Reconditionné

44,61 €

Produit Neuf

Ou 11,15 € /mois

Livraison à 0,01 €
Livré entre le 4 et le 7 août

Voir les modes de livraison

PRO Vendeur favori

4,5/5 sur 219 ventes

Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours

Nos autres offres

89,95 €

Produit Neuf

Ou 22,49 € /mois

En savoir plus
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
Voir les modes de livraison
Kelindo

PRO

4,8/5 sur + de 1 000 ventes

Contacter le vendeur
Afficher la description de l'annonce
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Tools And Algorithms For The Construction And Analysis Of Systems de Marieke Huisman Format Broché - Livre Encyclopédies, Dictionnaires

Note : 0 0 avis sur Tools And Algorithms For The Construction And Analysis Of Systems de Marieke Huisman Format Broché - Livre Encyclopédies, Dictionnaires

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Tools And Algorithms For The Construction And Analysis Of Systems de Marieke Huisman Format Broché
- Livre Encyclopédies, Dictionnaires

Livre Encyclopédies, Dictionnaires - Marieke Huisman - 01/04/2018 - Broché - Langue : Anglais

Auteur(s) : Marieke Huisman - Dirk BeyerEditeur : Springer International Publishing AgLangue : AnglaisParution : 01/04/2018Format : Moyen, de 350g à 1kgNombre de pages : 452Expédition :...

Auteur(s) : Marieke Huisman - Dirk Beyer

Editeur : Springer International Publishing Ag

Langue : Anglais

Parution : 01/04/2018

Format : Moyen, de 350g à 1kg

Nombre de pages : 452

Expédition : 680

Dimensions : 23.5 x 15.5 x 2.5

Résumé :
This book is Open Access under a CC BY licence.

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows: Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning. Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7^th Competition on Software Verification ? SV-COMP.

Biographie:
.

Sommaire:
.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Tools and Algorithms for the Construction and Analysis of Systems - Marieke Huisman

Avis sur Tools And Algorithms For The Construction And Analysis Of Systems de Marieke Huisman Format Broché - Livre Encyclopédies, Dictionnaires

Présentation Tools And Algorithms For The Construction And Analysis Of Systems de Marieke Huisman Format Broché - Livre Encyclopédies, Dictionnaires

Présentation Tools And Algorithms For The Construction And Analysis Of Systems de Marieke Huisman Format Broché
- Livre Encyclopédies, Dictionnaires