Importo totale (1 articolo articoli):
Destinazione ordine:
adenilso simao (48 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (48)
- 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 (39)
- Come nuovo, Ottimo o Quasi ottimo (9)
- 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 (48)
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 (24)
- Non Print on Demand (38)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, Sbmf 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Theoretical Aspects of Computing - Ictac 2020 : 17th International Colloquium, Macau, China, November 30?december 4, 2020, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,50
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec (Paperback or Softback)
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec. Book.
-
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 60,09
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Theoretical Aspects of Computing - Ictac 2020 : 17th International Colloquium, Macau, China, November 30?december 4, 2020, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,91
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30 2011 Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Formal Methods: Foundations and Applications
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642250319 ISBN 13: 9783642250316
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 63,87
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2011.
-
Formal Methods: Foundations and Applications
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642198287 ISBN 13: 9783642198281
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,35
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2011th.
-
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30 2011 Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Testing Software and Systems (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642165729 ISBN 13: 9783642165726
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Testing has steadily become more and more important within the development of software and systems, motivating an increasing amount of research aimed at tryingtosolvebothnewchallengesimposedbytheadvancementinvariousareas of computer science and long-standing problems. Testing has evolved during the last decades from an ad-hoc and under-exposed area of systems development to an important and active research area. The22ndInternationalConferenceonTestingSoftwareandSystems(ICTSS) involved the merger of two traditional and important events which have served the testing community as an important venue for discussing advancements in the area. Those events, namely, TestCom (the IFIP TC 6/WG 6.1 Inter- tional Conference on Testing of Communicating Systems), and FATES (Inter- tional Workshop on Formal Approaches to Testing of Software), together form a large event on testing, validation, and speci?cation of software and systems. They have a long history. TestCom is an IFIP-sponsored series of international conferences,previouslyalsocalledInternationalWorkshoponProtocolTestS- tems(IWPTS)orInternationalWorkshoponTestingofCommunicatingSystems (IWTCS).It is devoted to testing of communicating systems, including testing of communication protocols, services, distributed platforms, and middleware. Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in Computer Science, 7021)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,86
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,86
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Theoretical Aspects of Computing - ICTAC 2020: 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,86
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,69
Spedizione EUR 17,85
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, Sbmf 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,64
Spedizione EUR 17,29
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30 2011 Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,57
Spedizione EUR 17,29
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Theoretical Aspects of Computing - Ictac 2020 : 17th International Colloquium, Macau, China, November 30?december 4, 2020, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,85
Spedizione EUR 17,29
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Theoretical Aspects Of Computing - Ictac
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 68,93
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30 2011 Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,38
Spedizione EUR 17,29
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Theoretical Aspects of Computing - Ictac 2020 : 17th International Colloquium, Macau, China, November 30?december 4, 2020, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,38
Spedizione EUR 17,29
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Theoretical Aspects of Computing ? ICTAC 2020: 17th International Colloquium, Macau, China, November 30 ? December 4, 2020, Proceedings (Theoretical Computer Science and General Issues)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.
-
Testing Software and Systems: 22nd Ifip Wg 6.1 International Conference, Ictss 2010, Natal, Brazil, November 8-10, 2010, Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2010
ISBN 10: 3642165729 ISBN 13: 9783642165726
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,49
Spedizione EUR 11,52
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2010 edition. 267 pages. 9.00x6.00x0.75 inches. In Stock.
-
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised . / Programming and Software Engineering)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,92
Spedizione EUR 11,52
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 299 pages. 9.30x6.00x0.70 inches. In Stock.
-
Theoretical Aspects of Computing - Ictac 2020: 17th International Colloquium, Macau, China, November 30december 4, 2020, Proceedings
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2021
ISBN 10: 3030642755 ISBN 13: 9783030642754
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 79,14
Spedizione EUR 14,41
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 317 pages. 9.25x6.10x0.70 inches. In Stock.
-
Theoretical Aspects Of Computing - Ictac
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30 2011 Revised Selected Papers
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2011
ISBN 10: 3642250319 ISBN 13: 9783642250316
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 97,74
Spedizione EUR 11,52
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2011 edition. 203 pages. 9.00x6.00x0.50 inches. In Stock.
-
Testing Software and Systems
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642165729 ISBN 13: 9783642165726
EUR 61,79
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. State-of-the-art researchFast-track conference proceedingsUnique visibilityTest Automation with TTCN-3 - State of the Art and a Future Perspective.- A Model-Based Approach to Testing Software for Critical Behavior and Properties.- A.
-
Theoretical Aspects of Computing ¿ ICTAC 2020 : 17th International Colloquium, Macau, China, November 30 ¿ December 4, 2020, Proceedings
Lingua: Inglese
Editore: Springer International Publishing, 2020
ISBN 10: 3030642755 ISBN 13: 9783030642754
EUR 53,49
Spedizione EUR 62,56
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 proceedings of the17th International Colloquium onTheoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020.The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic.The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Theoretical Aspects of Computing - ICTAC 2020 | 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings | Violet Ka I Pun (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2020 | Springer | EAN 9783030642754 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Theoretical Aspects of Computing ICTAC 2020: 17th International Colloquium, Macau, China, November 30 December 4, 2020, Proceedings (Lecture Notes in Computer Science, 12545)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 102,08
Spedizione EUR 28,81
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
