Le vendeur n'a pas téléchargé de photo. Vérifiez la description de l'objet pour plus de détails.

Vous en avez un à vendre?

Vendez le vôtre

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

État :

Entièrement neuf

Quantité :

3 disponibles

Prix :

51,94 $US

Environ71,21 $C

Ayez l'esprit tranquille. Renvois acceptés.

Expédition :

Sans frais Economy Shipping. En savoir plussur l'expédition

Lieu : Jessup, Maryland, États-Unis

Livraison :

Livraison prévue entre le ven. 14 juin et le mer. 26 juin à 43230

Renvois :

Renvoi sous 14jours. 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

greatbookprices1 (303618)
96,8% d'évaluations positives

Inscrit comme vendeur professionnel

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

Caractéristiques de l'objet

État: Entièrement neuf: Un livre neuf, non lu, non utilisé et en parfait état, sans aucune page manquante ...

Book Title: Tools and Algorithms for the Construction and Analysis of Systems

ISBN: 9783031572487

Series: Lecture Notes in Computer Science Ser.

Publication Year: 2024

Type: Textbook

Format: Trade Paperback

Language: English

Publication Name: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Author: Laura Kovács

Item Length: 9.3in

Publisher: Springer

Item Width: 6.1in

Number of Pages: Xxi, 386 Pages

À propos de ce produit

Product Information

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

Product Identifiers

Publisher

Springer

ISBN-10

3031572483

ISBN-13

9783031572487

eBay Product ID (ePID)

4065692565

Product Key Features

Author

Laura Kovács

Publication Name

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Format

Trade Paperback

Language

English

Series

Lecture Notes in Computer Science Ser.

Publication Year

2024

Type

Textbook

Number of Pages

Xxi, 386 Pages

Dimensions

Item Length

9.3in

Item Width

6.1in

Additional Product Features

Series Volume Number

14571

Number of Volumes

1 Vol.

Lc Classification Number

Qa75.5-76.95

Table of Content

Model Checking.- automata and learning.- software verification.- probabilistic systems.- simulations.

2024

Topic

Hardware / General, Computer Science, Networking / General

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

Expédition et manutention

Lieu où se trouve l'objet :

Jessup, Maryland, États-Unis

Expédition :

Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Amériques, Andorre, Anguilla, Antigua-et-Barbuda, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Brunéi Darussalam, 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, Europe, Fidji, Finlande, 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, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mexique, Moldavie, Monaco, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, 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, Sierra Leone, Singapour, Slovaque, Slovénie, Sri Lanka, Suisse, Suriname, Suède, Sénégal, Tanzanie, Taïwan, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Vanuatu, Vietnam, Wallis-et-Futuna, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Îles Caïmans, Îles Salomon, Îles Turks et Caicos, Îles du Cap-Vert

Lieux exclus :

Adresses militaires ou navales, Angola, Arabie saoudite, Barbade, Botswana, Brésil, France, Guadeloupe, Guyane française, Laos, Lesotho, Libye, Macédoine, Martinique, Nigeria, Nouvelle-Calédonie, Polynésie française, Protectorats des États-Unis, Russie, Réunion, Saint-Pierre-et-Miquelon, Seychelles, Swaziland, Tadjikistan, Tchad, Turkménistan, Turquie, Ukraine, Uruguay, Venezuela, Yémen, Île Maurice

Quantité :

Changer de pays :

Code postal :

Expédition et manutention	Chaque objet supplémentaire	À	Service	Livraison*Voir les remarques sur la livraison
Expédition sans frais	Sans frais	États-Unis	Economy Shipping	Livraison prévue entre le ven. 14 juin et le mer. 26 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 10 jours ouvrables après réception du paiement.

Taxes

Le vendeur facture une taxe de vente dans