Importo totale (1 articolo articoli):
Destinazione ordine:
ernie cohen (19 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (19)
- 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 (14)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (9)
- Non Print on Demand (13)
Lingua (3)
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
THESE HAVE I CHOSEN FROM THE MANY I HAVE PENNED
Editore: SELF-PUB., 1979
Da: Gian Luigi Fine Books, Albany, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
PAPERBACK. Condizione: VG. First Edition. INSCRIBED & SIGNED BY AUTHOR.
-
LET IT THUS BE WRITTEN, THEN
Editore: SELF-PUB., 1964
Da: Gian Luigi Fine Books, Albany, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
PAPERBACK. Condizione: VG. First Edition. INSCRIBED & SIGNED BY AUTHOR.
-
The Prevention of Sexual Violence:A Practitioner's Sourcebook
Da: Jackson Street Booksellers, Omaha, NE, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Hardcover. Condizione: Fine. Condizione sovraccoperta: Near Fine. 1st Edition. Fine copy in hardcover with near fine jacket.
-
Verified Software : Theorie, Tools, Experiments - 5th International Conference, Vstte 2013, Menlo Park, Ca, USA, May 17-19, 2013, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,75
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,35
Spedizione EUR 14,05
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Pape
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,73
Spedizione EUR 18,16
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Verified Software : Theorie, Tools, Experiments - 5th International Conference, Vstte 2013, Menlo Park, Ca, USA, May 17-19, 2013, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 75,28
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Software : Theorie, Tools, Experiments - 5th International Conference, Vstte 2013, Menlo Park, Ca, USA, May 17-19, 2013, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,73
Spedizione EUR 17,59
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Software : Theorie, Tools, Experiments - 5th International Conference, Vstte 2013, Menlo Park, Ca, USA, May 17-19, 2013, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,95
Spedizione EUR 17,59
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Condizione: New. pp. 364.
-
Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2014
ISBN 10: 3642541070 ISBN 13: 9783642541070
EUR 53,49
Spedizione EUR 62,76
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.
-
EUR 50,40
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Verified Software: Theorie, Tools, Experiments | 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers | Ernie Cohen (u. a.) | Taschenbuch | xvi | Englisch | 2014 | Springer | EAN 9783642541070 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Arts de l'Antiquité de l'Europe au Sud-Est asiatique: Le profane et le divin : Fleurons du musée Barbier-Mueller
Lingua: Francese
Editore: Hazan ; Musée Barbier-Mueller : Musées d'art et d'histoire Genève, Département de la culture, Paris, Genève, 2008
ISBN 10: 2754103090 ISBN 13: 9782754103091
Da: Joseph Burridge Books, Dagenham, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 229,49
Spedizione EUR 31,66
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: New. 538 pages in French : illustrations (chiefly colour), maps ; 32 cm. Notes: Catalog of an exhibition held at the Musée d'art et d'histoire de Genève, May 15-Aug. 31, 2008 Accompanied by 16 p. booklet: 1977-2007 Musée Barbier-Mueller, Genève.
-
Verified Software: Theorie, Tools, Experiments
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jan 2014, 2014
ISBN 10: 3642541070 ISBN 13: 9783642541070
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 volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments. 364 pp. Englisch.
-
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
EUR 46,22
Spedizione EUR 34,00
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
Verified Software
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 82,27
Spedizione EUR 7,62
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 364 83 Illus.
-
Verified Software
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 82,29
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 364.
-
Verified Software: Theorie, Tools, Experiments
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2014
ISBN 10: 3642541070 ISBN 13: 9783642541070
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 volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presente.
-
Verified Software: Theorie, Tools, Experiments
Lingua: Inglese
Editore: Springer, Springer Jan 2014, 2014
ISBN 10: 3642541070 ISBN 13: 9783642541070
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à: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 364 pp. Englisch.
