Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Unbekannt

ISBN 10: 3642156428 ISBN 13: 9783642156427

Edit� par Springer-Verlag GmbH, 2010

Langue: anglais

Etat : Occasion - Tr�s bon Couverture souple

Mettre de c�t�

Vendu par Buchpark, Trebbin, Allemagne

Vendeur AbeBooks depuis 30 septembre 2021

�valuation du vendeur 5 sur 5 �toiles

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Ancien(s) ou d'occasion - Couverture souple

Etat : Occasion - Tr�s bon

Prix: EUR 59,63 Autre devise

EUR 9,90 exp�dition depuis Allemagne vers France Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

Zustand: Sehr gut | Seiten: 404 | Sprache: Englisch | Produktart: B�cher.

N� de r�f. du vendeur 8647974/12

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

�diteur

Springer-Verlag GmbH

Date de parution

2010

Langue

anglais

ISBN � 10 chiffres

3642156428

ISBN � 13 chiffres

9783642156427

Reliure

Couverture souple

�tat de l'article

Sehr gut

Catalogues du vendeur

A propos de ce titre

Synopsis

A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Visitez la page d�accueil du vendeur