Articles liés à Logic-Based Program Synthesis and Transformation: 20th...
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers - Couverture souple
Synopsis
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 48,74
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Logic-Based Program Synthesis and Transformation: 20th...
Image d'archives
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Pa
Edité par
Springer, 2011
ISBN 10 : 364220550X
ISBN 13 : 9783642205507
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.9. N° de réf. du vendeur G364220550XI4N00
Quantité disponible : 1 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Edité par
Springer-Verlag GmbH, 2011
ISBN 10 : 364220550X
ISBN 13 : 9783642205507
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 248 | Sprache: Englisch | Produktart: Sonstiges. N° de réf. du vendeur 10702213/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic-Based Program Synthesis and Transformation
Edité par
Springer Berlin Heidelberg, 2011
ISBN 10 : 364220550X
ISBN 13 : 9783642205507
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. up-to-date resultsfast track conference proceedingsstate-of-the-art reportThis book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenb. N° de réf. du vendeur 5052250
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6564)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642205507_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642205507
Quantité disponible : 10 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6564)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783642205507
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected . Computer Science and General Issues)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 2011 edition. 248 pages. 9.00x5.75x0.50 inches. In Stock. N° de réf. du vendeur x-364220550X
Quantité disponible : 2 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6564)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020220601
Quantité disponible : Plus de 20 disponibles