Photo 1 sur 4

Outils et algorithmes pour la construction et l'analyse de systèmes : 25ème Int.. - Photo 2 sur 4

Outils et algorithmes pour la construction et l'analyse de systèmes : 25ème Int.. - Photo 3 sur 4

Outils et algorithmes pour la construction et l'analyse de systèmes : 25ème Int.. - Photo 4 sur 4

Vous en avez un à vendre?

Vendez le vôtre

Outils et algorithmes pour la construction et l'analyse de systèmes : 25ème Int..

État :

Comme neuf

Prix :

8,99 $US

Environ12,32 $C

Était 59,99 $US

Économisez 51,00 $US (85 % de rabais)

Offre directe :

Ayez l'esprit tranquille. Renvois acceptés.

Expédition :

5,00 $US (environ 6,85 $C) Expédition au tarif économique. En savoir plussur l'expédition

Lieu : Cedar Rapids, Iowa, États-Unis

Livraison :

Livraison prévue entre le mar. 4 juin et le sam. 8 juin à 43230

Renvois :

Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois

Paiements :

Magasinez en toute confiance

Garantie de remboursement eBay

Recevez l'objet commandé ou obtenez un remboursement.

En savoir plusGarantie de remboursement eBay - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Informations sur le vendeur

marcus8675 (6495)
98,7% d'évaluations positives

Signaler cet objet - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :115640825080

Dernière mise à jour : mai 17, 2024 16:25:36 HAEAfficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Comme neuf: Un livre qui a l’air neuf mais qui a été lu. La couverture ne présente pas d’usure et ... Comme neuf: Un livre qui a l’air neuf mais qui a été lu. La couverture ne présente pas d’usure et la jaquette est incluse (dans le cas des livres reliés). Il n'y a aucune page manquante ou endommagée, aucun pli, aucune déchirure, aucun passage surligné ou souligné et aucune inscription en marge. Il est possible que le contreplat porte d'infimes marques d'identification. Le livre présente des traces d'usure infimes. Afficher toutes les définitions d'état(s'ouvre dans une nouvelle fenêtre ou un nouvel onglet)

Book Title: Tools And Algorithms For The Construction And Analysis Of Sy...

Personalized: No

Subject: Computer Science

ISBN: 9783030174644

Publication Year: 2019

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Format: Trade Paperback

Language: English

Publication Name: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

Author: Lijun Zhang

Item Length: 9.3in

Publisher: Springer International Publishing A&G

Item Width: 6.1in

Item Weight: 23.6 Oz

Number of Pages: Xxiii, 413 Pages

À propos de ce produit

Product Information

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

Product Identifiers

Publisher

Springer International Publishing A&G

ISBN-10

3030174646

ISBN-13

9783030174644

eBay Product ID (ePID)

26038683013

Product Key Features

Author

Lijun Zhang

Publication Name

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

Format

Trade Paperback

Language

English

Publication Year

2019

Series

Lecture Notes in Computer Science Ser.

Type

Textbook

Number of Pages

Xxiii, 413 Pages

Dimensions

Item Length

9.3in

Item Width

6.1in

Item Weight

23.6 Oz

Additional Product Features

Series Volume Number

11428

Number of Volumes

1 Vol.

Lc Classification Number

Qa75.5-76.95

Table of Content

Concurrent and Distributed Systems.- Checking Deadlock-Freedom of Parametric Component-Based Systems.- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability.- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.- Multi-Core On-The-Fly Saturation.- Monitoring and Runtime Verification.- Specification and Efficient Monitoring Beyond STL.- VyPR2: A Framework for Runtime Verification of Python Web Services.- Constraint-based Monitoring of Hyperproperties.- Hybrid and Stochastic Systems.- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments.- Computing the Expected Execution Time of Probabilistic Workflow Nets.- Shepherding Hordes of Markov Chains.- Optimal Time-Bounded Reachability Analysis for Concurrent Systems.- Synthesis.- Minimal-Time Synthesis for Parametric Timed Automata.- Environmentally-friendly GR(1) Synthesis.- StocHy: automated verification and synthesis of stochastic processes.- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.- Symbolic Verification.- iRank: a variable order metric for DEDS subject to linear invariants.- Binary Decision Diagrams with Edge-Specified Reductions.- Effective Entailment Checking for Separation Logic with Inductive Definitions.- Safety and Fault-Tolerant Systems.- Digital Bifurcation Analysis of TCP Dynamics.- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.- Measuring Masking Fault-Tolerance.- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.

2019

Topic

Software Development & Engineering / General, Programming / Algorithms, Computer Science

Illustrated

Yes

Genre

Computers

Description de l'objet du vendeur

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :115640825080

Dernière mise à jour : mai 17, 2024 16:25:36 HAEAfficher toutes les modificationsAfficher toutes les modifications

Expédition et manutention

Lieu où se trouve l'objet :

Cedar Rapids, Iowa, États-Unis

Expédition :

Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mexique, Moldavie, Monaco, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Panama, Papouasie-Nouvelle-Guinée, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Vincent-et-les Grenadines, Sainte-Lucie, Salvador, Samoa, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Sri Lanka, Suisse, Suriname, Suède, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, États-Unis, Éthiopie, Île Maurice, Îles Caïmans, Îles Salomon, Îles Turks et Caicos, Îles du Cap-Vert

Lieux exclus :

Barbade, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Polynésie française, Russie, Réunion, Ukraine, Venezuela

Changer de pays :

Code postal :

Expédition et manutention	À	Service	Livraison*Voir les remarques sur la livraison
5,00 $US (environ 6,85 $C)	États-Unis	Expédition au tarif économique (USPS Media MailTM)	Livraison prévue entre le mar. 4 juin et le sam. 8 juin à 43230

*Les dates de livraison approximatives – s'ouvre dans une nouvelle fenêtre ou un nouvel onglet tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.Remarques - Livraison *Les dates de livraison approximatives tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.

Délai de manutention

Expédition dans les 2 jours ouvrables après réception du paiement.

Taxes

Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay.

Taxe de vente pour cet objet (115640825080)

Le vendeur facture une taxe de vente pour les États suivants :

État	Taux de la taxe de vente

*La taxe s'applique uniquement au sous-total + frais d'expédition et de manutention pour les objets dans ces États

Modalités de renvoi

Après réception de l'objet, contactez le vendeur dans un délai de	Mode de remboursement
30 jours	Remboursement

Les frais d'expédition du renvoi sont à la charge de l'acheteur.

Détails du paiement

Modes de paiement

Miller's Great Deals

98,7% d'évaluations positives

22K objets vendus

Visiter la Boutique Contacter

Évaluations détaillées du vendeur

Moyenne au cours des 12 derniers mois

Qualité de la description

5.0

Justesse des frais d'expédition

4.8

Rapidité de l'expédition

4.9

Communication

4.9

Évaluations comme vendeur (7 015)

y***i (3507)- Évaluation laissée par l'acheteur.

Dernier mois

Achat vérifié

Quick shipping!! As described!! Love it!! Thank you!!

9***o (958)- Évaluation laissée par l'acheteur.

Dernier mois

Achat vérifié

Great seller fast shipping

Baby Boy Clothes Waves Shades and Babes Summer Sleeveless Top Short 18-24 months (#195647859188)

2***r (467)- Évaluation laissée par l'acheteur.

Dernier mois

Achat vérifié

Great experience

Afficher toutes les évaluations

Évaluations et avis sur le produit

Rédiger un avis

Aucune évaluation ni aucun avis jusqu'à maintenant.

Soyez le premier à rédiger un avis.