Importo totale (1 articolo articoli):
Destinazione ordine:
9783319944593 - Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers: 10855 (14 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (14)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (12)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (14)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (9)
- Non Print on Demand (9)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 40 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 40
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Logic-based Program Synthesis and Transformation : 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,25
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,50
Spedizione EUR 13,72
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Logic-based Program Synthesis and Transformation : 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 72,01
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic-based Program Synthesis and Transformation : 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,49
Spedizione EUR 17,17
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers: 10855 (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
Logic-based Program Synthesis and Transformation : 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,94
Spedizione EUR 17,17
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Logic-based Program Synthesis and Transformation: 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2018
ISBN 10: 3319944592 ISBN 13: 9783319944593
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,65
Spedizione EUR 14,31
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. revised edition. 400 pages. 9.25x6.10x0.79 inches. In Stock.
-
Logic-Based Program Synthesis and Transformation
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer International Publishing Jul 2018, 2018
ISBN 10: 3319944592 ISBN 13: 9783319944593
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Röu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.
-
Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319944592 ISBN 13: 9783319944593
EUR 53,49
Spedizione EUR 62,73
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and GrigoreRosu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
-
Logic-Based Program Synthesis and Transformation
Lingua: Inglese
Editore: Springer International Publishing Jul 2018, 2018
ISBN 10: 3319944592 ISBN 13: 9783319944593
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and GrigoreRosu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools. 360 pp. Englisch.
-
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers: 10855 (Lecture Notes in Computer Science)
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 75,02
Spedizione EUR 7,44
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
-
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers: 10855 (Lecture Notes in Computer Science)
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 77,37
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
-
Logic-Based Program Synthesis and Transforamtion
Lingua: Inglese
Editore: Springer International Publishing, 2018
ISBN 10: 3319944592 ISBN 13: 9783319944593
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Logic-Based Program Synthesis and Transformation | 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers | Fabio Fioravanti (u. a.) | Taschenbuch | xvi | Englisch | 2018 | Springer | EAN 9783319944593 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
