Importo totale (1 articolo articoli):
Destinazione ordine:
9783030714710 - Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7?9, 2019, Revised Selected Papers: 1288 (18 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (18)
- 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 (16)
- 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 (18)
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 (7)
- Non Print on Demand (12)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 45
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Tools and Methods of Program Analysis : 5th International Conference, Tmpa 2019, Tbilisi, Georgia, November 7?9, 2019, Revised Selected Papers
Libro 380 di 578: Communications in Computer and Information ScienceDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,33
Spedizione EUR 2,28
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Tools and Methods of Program Analysis : 5th International Conference, Tmpa 2019, Tbilisi, Georgia, November 7?9, 2019, Revised Selected Papers
Libro 380 di 578: Communications in Computer and Information ScienceDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,96
Spedizione EUR 2,28
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers (Communications in Computer and Information Science)
Libro 380 di 578: Communications in Computer and Information ScienceDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,62
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers: 1288 . in Computer and Information Science, 1288)
Libro 380 di 578: Communications in Computer and Information ScienceDa: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,04
Spedizione EUR 17,95
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Tools and Methods of Program Analysis : 5th International Conference, Tmpa 2019, Tbilisi, Georgia, November 7?9, 2019, Revised Selected Papers
Libro 380 di 578: Communications in Computer and Information ScienceDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,00
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7?9, 2019, Revised Selected Papers (Communications in Computer and Information Science, 1288) 1st ed. 2021 Edition
Libro 380 di 578: Communications in Computer and Information ScienceDa: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Tools And Methods Of Program Analysis :
Libro 380 di 578: Communications in Computer and Information ScienceDa: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 68,73
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Tools and Methods of Program Analysis : 5th International Conference, Tmpa 2019, Tbilisi, Georgia, November 7?9, 2019, Revised Selected Papers
Libro 380 di 578: Communications in Computer and Information ScienceDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,52
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Tools and Methods of Program Analysis: 6th International Conference, Tmpa 2019, Tbilisi, Georgia, November 79, 2019, Revised Selected Papers
Libro 380 di 578: Communications in Computer and Information ScienceLingua: Inglese
Editore: Springer-Nature New York Inc, 2021
ISBN 10: 3030714713 ISBN 13: 9783030714710
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,11
Spedizione EUR 11,59
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 219 pages. 9.25x6.10x0.51 inches. In Stock.
-
Tools And Methods Of Program Analysis :
Libro 380 di 578: Communications in Computer and Information ScienceDa: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Tools and Methods of Program Analysis : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers
Libro 380 di 578: Communications in Computer and Information ScienceEUR 58,39
Spedizione EUR 61,71
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 5thInternational Conference onTools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
-
Tools and Methods of Program Analysis | 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers
Libro 380 di 578: Communications in Computer and Information ScienceEUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Tools and Methods of Program Analysis | 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers | Anna Kalenkova (u. a.) | Taschenbuch | Communications in Computer and Information Science | x | Englisch | 2021 | Springer | EAN 9783030714710 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Tools and Methods of Program Analysis (eng)
Libro 380 di 578: Communications in Computer and Information ScienceDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
EUR 46,22
Spedizione EUR 5,50
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
Tools and Methods of Program Analysis
Libro 380 di 578: Communications in Computer and Information ScienceLingua: Inglese
Editore: Springer International Publishing Mrz 2021, 2021
ISBN 10: 3030714713 ISBN 13: 9783030714710
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 refereed proceedings of the 5thInternational Conference onTools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification. 220 pp. Englisch.
-
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7?9, 2019, Revised Selected Papers (Communications in Computer and Information Science, 1288) 1st ed. 2021 Edition
Libro 380 di 578: Communications in Computer and Information ScienceDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 75,68
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
-
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7?9, 2019, Revised Selected Papers (Communications in Computer and Information Science, 1288) 1st ed. 2021 Edition
Libro 380 di 578: Communications in Computer and Information ScienceDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 76,17
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
-
Tools and Methods of Program Analysis
Libro 380 di 578: Communications in Computer and Information ScienceLingua: Inglese
Editore: Springer International Publishing, 2021
ISBN 10: 3030714713 ISBN 13: 9783030714710
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 refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers.
-
Tools and Methods of Program Analysis
Libro 380 di 578: Communications in Computer and Information ScienceLingua: Inglese
Editore: Springer, Palgrave Macmillan Mär 2021, 2021
ISBN 10: 3030714713 ISBN 13: 9783030714710
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 -Partial Specifications of Libraries: Applications in Software Engineering.- Chaotic Time Series Prediction: Run for the Horizon.- Machine Learning and value generation in Software Development: a survey.- About using of Strings Similarity conception in software engineering.- Multi-Perspective Process Mining with Embedding Configurations into DB-based Event Logs.- On DB-nets and their Applications.- Pre-Processing Network Messages of Trading Systems into Event Log for Process Mining.- Time series classification based on visualization of recurrence plots.- Relation between Test Coverage and Timed Automata Model Structure.- Random Graph Model for Structural Analysis of Online Communications.- The in uence of self-organizing teams on the structure of the social graph.- Making Bounded Model Checking Interprocedural in (Static Analysis) Style.- Static Taint Analysis for JavaScript Programs.- Generation of Testing Metrics by Using Cluster Analysis of Bug Reports.- Building an Adaptive Logs Classification System An Industrial Report.- Development of Test Suite with Formally Verified FSM Coverage: A Case Study.- Generation of test-based traces for automated partial software specifications extraction.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 220 pp. Englisch.
