Importo totale (1 articolo articoli):
Destinazione ordine:
qin shengchao (58 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (58)
- 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 (51)
- Come nuovo, Ottimo o Quasi ottimo (6)
- Molto buono o Buono (1)
- 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 (58)
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (27)
- Non Print on Demand (43)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,80
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,90
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Unifying Theories of Programming (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364216689X ISBN 13: 9783642166891
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the proceedings of the Third International Symposium on Unifying Theories of Programming (UTP 2010) held at East China Normal University,Shanghai,China,November15-16,2010inconjunctionwiththe12th International Conference on Formal Engineering Methods (ICFEM 2010). This symposium followed on the success of the ?rst one, held at Walworth Castle (Durham, UK) in 2006, and the second, held at Trinity College (Dublin, Ireland) in 2008. Based on the pioneering work of C.A.R. Hoare, He Jifeng, and others on unifying theories of programming, the aims of this symposium series are, as stated in UTP 2008, to continue to rea?rm the signi?cance of the ongoing UTP project, to encourage e?orts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the bene?ts of such a unifying theoretical framework among the wider computer science and software engineering communities. TheprogramfortheUTP2010symposiumincludesoneinvitedtutorial,three invited talks, and 12 regular paper presentations. I would like to warmly thank ourinvitedspeakers,AnaCavalcanti,HeJifeng,Je?SandersandJimWoodcock, as well asall the authors,for their enthusiasticand engagedparticipation in this event. A book that constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, that was held in Shanghai, China. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, Setta 2021, Beijing, China, November 25?27, 2021, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 68,33
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Dependable Software Engineering. Theories, Tools, and Applications
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Dependable Software Engineering. Theories, Tools, and Applications
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,69
Spedizione EUR 5,78
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,95
Spedizione EUR 17,82
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,90
Spedizione EUR 17,26
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, Setta 2021, Beijing, China, November 25?27, 2021, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 74,17
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
DEPENDABLE SOFTWARE ENGINEERING. THEORIE
Da: Speedyhen LLC, Hialeah, FL, U.S.A.
Valutazione del venditore 3 su 5 stelle
Condizione: NEW.
-
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. . (Lecture Notes in Computer Science, 6991)
Da: Hard To Find Editions, Bristol, AVON, Regno Unito
Valutazione del venditore 4 su 5 stelle
Prima edizione
EUR 47,25
Spedizione EUR 31,18
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Very Good. 1st Edition. This book has been read, but is in a clean and very good condition. All pages are intact with no highlighting or writing contained within. The spine remains undamaged with tight binding. Fast dispatch within and from the UK. 100% money back guarantee.
-
Dependable Software Engineering. Theories, Tools, and Applications
Lingua: Inglese
Editore: Springer Nature Switzerland AG, CH, 2021
ISBN 10: 3030912647 ISBN 13: 9783030912642
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,69
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1st ed. 2021.
-
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,26
Spedizione EUR 17,26
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5?9, 2019, Proceedings
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, Setta 2021, Beijing, China, November 25?27, 2021, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,67
Spedizione EUR 17,26
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 2527, 2021, . (Lecture Notes in Computer Science, 13071)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 68,86
Spedizione EUR 17,82
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 74,07
Spedizione EUR 13,78
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Unifying Theories of Programming: Third International Symposium, Utp 2010, Shanghai, China, November 15-16, 2010, Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2010
ISBN 10: 364216689X ISBN 13: 9783642166891
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,16
Spedizione EUR 14,38
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 308 pages. 9.25x6.25x0.60 inches. In Stock.
-
Formal Methods and Software Engineering
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xiv + 670.
-
Dependable Software Engineering. Theorie
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 82,13
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, Setta 2021, Beijing, China, November 25?27, 2021, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 76,53
Spedizione EUR 17,26
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2019
ISBN 10: 3030324087 ISBN 13: 9783030324087
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,92
Spedizione EUR 14,38
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 450 pages. 9.25x6.10x1.34 inches. In Stock.
-
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Pr
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,45
Spedizione EUR 17,82
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, Icfem 2011, Durham, Uk, October 26-28, 2011. Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2011
ISBN 10: 3642245587 ISBN 13: 9783642245589
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 83,93
Spedizione EUR 17,26
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2011 edition. 670 pages. 9.00x6.00x1.50 inches. In Stock.
-
Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25?27, 2021, Proceedings (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. 2021 edition NO-PA16APR2015-KAP.
-
DEPENDABLE SOFTWARE ENGINEERING. THEORIE
Da: Speedyhen, Hertfordshire, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,51
Spedizione EUR 47,17
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: NEW.
-
Dependable Software Engineering. Theorie
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Formal Methods and Software Engineering
Lingua: Inglese
Editore: Springer International Publishing, Springer Nature Switzerland Okt 2019, 2019
ISBN 10: 3030324087 ISBN 13: 9783030324087
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 proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 552 pp. Englisch.
-
Formal Methods and Software Engineering
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2011, 2011
ISBN 10: 3642245587 ISBN 13: 9783642245589
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 refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 684 pp. Englisch.
-
Unifying Theories of Programming
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 364216689X ISBN 13: 9783642166891
EUR 64,08
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
