Importo totale (1 articolo articoli):
Destinazione ordine:
marsha chechik (75 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (75)
- 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 (63)
- Come nuovo, Ottimo o Quasi ottimo (8)
- Molto buono o Buono (3)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (75)
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (33)
- Non Print on Demand (51)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings (Lecture Notes in . Computer Science and General Issues)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 53,56
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
CONCUR 2008 - Concurrency Theory
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 542.
-
Verified Software. Theories, Tools, and Experiments : 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17?18, 2016, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 71,62
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 5503)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,56
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 9636)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,56
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,56
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, Tacas 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 73,14
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint . (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,91
Spedizione EUR 17,76
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, Tacas 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,54
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Software. Theories, Tools, and Experiments : 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17?18, 2016, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,54
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Fundamental Approaches to Software Engineering
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 504.
-
Fundamental Approaches to Software Engineering
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 75,79
Spedizione EUR 7,45
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 504 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Fundamental Approaches to Software Engineering
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 74,92
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 504.
-
CONCUR 2008 - Concurrency Theory
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 82,52
Spedizione EUR 7,45
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 542 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint . (Lecture Notes in Computer Science, 9636)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 980.
-
Fundamental Approaches to Software Engineering: 12th International Conference, Fase 2009, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2009, York, Uk, Mar
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2009
ISBN 10: 3642005926 ISBN 13: 9783642005923
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,46
Spedizione EUR 14,33
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 488 pages. 9.37x6.06x1.10 inches. In Stock.
-
Concur 2008 - Concurrency Theory: 19th International Conference, Concur 2008, Toronto, Canada, August 19-22, 2008 Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2008
ISBN 10: 354085360X ISBN 13: 9783540853602
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 82,12
Spedizione EUR 14,33
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 524 pages. 9.00x6.00x1.25 inches. In Stock.
-
CONCUR 2008 - Concurrency Theory
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2008
ISBN 10: 354085360X ISBN 13: 9783540853602
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 1718, 2016, Revised Selected Papers
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2016
ISBN 10: 3319488686 ISBN 13: 9783319488684
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 76,34
Spedizione EUR 28,67
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. revised edition. 216 pages. 9.25x6.10x0.49 inches. In Stock.
-
Formal Methods (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2023
ISBN 10: 3031274806 ISBN 13: 9783031274800
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Luebeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Luebeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 101,56
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
Lingua: Inglese
Editore: Springer, Springer Berlin Heidelberg, 2008
ISBN 10: 354085360X ISBN 13: 9783540853602
EUR 53,49
Spedizione EUR 64,05
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto,Canada,August19-22,2008. CONCUR2008wasco-located with the 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed Computing (PODC 2008), and the two conferences shared two invited speakers, some social events, and a symposium celebrating the lifelong research contributions of Nancy Lynch. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti c relevance of their foundations. Topics include basic models of concurrency (such as abstract machines, domain theoretic m- els, game theoretic models, process algebras, and Petri nets), logics for c- currency (such as modal logics, temporal logics and resource logics), models of specialized systems (such as biology-inspired systems, circuits, hybrid systems, mobile systems, multi-core processors, probabilistic systems, real-time systems, synchronoussystems, and Web services),veri cationand analysis techniques for concurrent systems (such as abstract interpretation, atomicity checking, mod- checking, race detection, run-time veri cation, state-space exploration, static analysis,synthesis,testing, theorem provingand type systems), andrelated p- gramming models (such as distributed or object-oriented). Of the 120 regular and 5 tool papers submitted this year, 33 regular and 2 tool papers were accepted for presentation and areincluded in the present v- ume.
-
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17¿18, 2016, Revised Selected Papers
Lingua: Inglese
Editore: Springer International Publishing, 2016
ISBN 10: 3319488686 ISBN 13: 9783319488684
EUR 53,49
Spedizione EUR 61,68
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 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions.The goal of the VSTTE conference is to advance thestate of the art through the interaction of theory development, tool evolution,and experimental validation.
-
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17?18, 2016, Revised Selected Papers (Lecture Notes in Computer Science (9971))
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 213.
-
Fundamental Approaches to Software Engineering : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 3642005926 ISBN 13: 9783642005923
EUR 53,49
Spedizione EUR 63,78
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 refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. CONCUR 2008 - Concurrency Theory | 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings | Franck van Breugel (u. a.) | Taschenbuch | xiii | Englisch | 2008 | Springer | EAN 9783540853602 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings | Marsha Chechik (u. a.) | Taschenbuch | xix | Englisch | 2016 | Springer | EAN 9783662496732 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Fundamental Approaches to Software Engineering | 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings | Marsha Chechik (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783642005923 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Lauinger Verlag, Heinrich-Köhler-Platz 8, 76187 Karlsruhe, mail[at]lauinger-verlag[dot]de | Anbieter: preigu.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Verified Software. Theories, Tools, and Experiments | 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers | Sandrine Blazy (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2016 | Springer | EAN 9783319488684 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
