Articoli correlati a 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: 6564 - Brossura

 
9783642205507: Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers: 6564
Brossura
ISBN 10: 364220550X ISBN 13: 9783642205507
Casa editrice: Springer, 2011

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2011
  • ISBN 10 364220550X
  • ISBN 13 9783642205507
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine260
  • RedattoreAlpuente María

Compra usato

Condizioni: molto buono
May have limited writing in cover...
Visualizza questo articolo
9783642205507: Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers: 6564
EUR 46,01

Convertire valuta

GRATIS per la spedizione in U.S.A.

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9783642205521: Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Edizione in evidenza

ISBN 10:  3642205526 ISBN 13:  9783642205521
Casa editrice: Springer, 2013
Brossura

Risultati della ricerca per Logic-Based Program Synthesis and Transformation: 20th...

Foto dell'editore

Editore: Springer, 2011
ISBN 10: 364220550X ISBN 13: 9783642205507
Antico o usato Paperback

Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.9. Codice articolo G364220550XI4N00

Contatta il venditore

Compra usato

EUR 46,01
Convertire valuta
Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2011
ISBN 10: 364220550X ISBN 13: 9783642205507
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020220601

Contatta il venditore

Compra nuovo

EUR 54,83
Convertire valuta
Spese di spedizione: EUR 3,57
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2011
ISBN 10: 364220550X ISBN 13: 9783642205507
Nuovo Brossura

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9783642205507

Contatta il venditore

Compra nuovo

EUR 68,14
Convertire valuta
Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2011
ISBN 10: 364220550X ISBN 13: 9783642205507
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783642205507_new

Contatta il venditore

Compra nuovo

EUR 62,25
Convertire valuta
Spese di spedizione: EUR 14,25
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Mar�a Alpuente
Editore: Springer 2011-05-02, 2011
ISBN 10: 364220550X ISBN 13: 9783642205507
Nuovo Paperback

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: New. Codice articolo 6666-IUK-9783642205507

Contatta il venditore

Compra nuovo

EUR 59,11
Convertire valuta
Spese di spedizione: EUR 18,42
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

Unbekannt
Editore: Springer-Verlag GmbH, 2011
ISBN 10: 364220550X ISBN 13: 9783642205507
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken leicht angestoßen, Frontcover leicht geknickt, Ausgabe 2011 | Seiten: 248 | Sprache: Englisch | Produktart: Sonstiges. Codice articolo 10702213/12

Contatta il venditore

Compra usato

EUR 40,93
Convertire valuta
Spese di spedizione: EUR 45,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Alpuente, María (Editor)
Editore: Springer, 2011
ISBN 10: 364220550X ISBN 13: 9783642205507
Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 2011 edition. 248 pages. 9.00x5.75x0.50 inches. In Stock. Codice articolo x-364220550X

Contatta il venditore

Compra nuovo

EUR 82,09
Convertire valuta
Spese di spedizione: EUR 11,89
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Alpuente, María
ISBN 10: 364220550X ISBN 13: 9783642205507
Nuovo Kartoniert / Broschiert
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: 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. Codice articolo 5052250

Contatta il venditore

Compra nuovo

EUR 48,74
Convertire valuta
Spese di spedizione: EUR 48,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

María Alpuente
ISBN 10: 364220550X ISBN 13: 9783642205507
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Neuware - 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. Codice articolo 9783642205507

Contatta il venditore

Compra nuovo

EUR 77,00
Convertire valuta
Spese di spedizione: EUR 30,01
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello