Importo totale (1 articolo articoli):
Destinazione ordine:
schulte wolfram (91 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (91)
- 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 (78)
- Come nuovo, Ottimo o Quasi ottimo (9)
- Molto buono o Buono (3)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (45)
- Non Print on Demand (58)
Lingua (4)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Half Price Books Inc., Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Solr Books, Lincolnwood, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: new.
-
Model - Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 15,24
EUR 7,45 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 368.
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Bill & Ben Books, Faringdon, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 14,16
EUR 11,58 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.
-
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Model-Based Software Testing And Analysis With C++
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Model-Based Software Testing And Analysis With C++
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
EUR 49,75
Spedizione gratuita
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,49
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Libro 143 di 180: Graduate Texts in MathematicsDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)
Libro 143 di 180: Graduate Texts in MathematicsDa: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science, 6664)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Model-driven Engineering Languages and Systems : 17th International Conference, Models 2014, Valencia, Spain, September 283? October 4, 2014. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings (Programming and Software Engineering)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Libro 143 di 180: Graduate Texts in MathematicsDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 49,96
EUR 13,73 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings (Programming and Software Engineering)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 64,74
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)
Libro 143 di 180: Graduate Texts in MathematicsDa: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 64,74
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
FM 2011: Formal Methods (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642214363 ISBN 13: 9783642214363
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521886554 ISBN 13: 9780521886550
Da: StainesBook, Weybridge, SURRE, Regno Unito
Valutazione del venditore 1 su 5 stelle
EUR 30,62
EUR 34,39 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello -
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,22
EUR 13,73 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)
Libro 143 di 180: Graduate Texts in MathematicsDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,22
EUR 13,73 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Lecture Notes in Computer Science)
Libro 143 di 180: Graduate Texts in MathematicsDa: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,45
EUR 17,76 shipping
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,79
EUR 17,76 shipping
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Model-driven Engineering Languages and Systems : 17th International Conference, Models 2014, Valencia, Spain, September 283? October 4, 2014. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,20
EUR 17,20 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Libro 143 di 180: Graduate Texts in MathematicsDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,20
EUR 17,20 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Fields of Logic and Computation II
Libro 143 di 180: Graduate Texts in MathematicsLingua: Inglese
Editore: Springer International Publishing AG, 2015
ISBN 10: 3319235338 ISBN 13: 9783319235332
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 68,34
EUR 10,50 shipping
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New. Editor(s): Beklemishev, Lev D.; Blass, Andreas; Dershowitz, Nachum; Schulte, Wolfram; Finkbeiner, Bernd. Series: Lecture Notes in Computer Science. Num Pages: 329 pages, 15 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510. . 2015. Paperback. . . . .
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521886554 ISBN 13: 9780521886550
EUR 81,62
Spedizione gratuita
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Libro 143 di 180: Graduate Texts in MathematicsDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,77
EUR 17,20 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Model-Driven Engineering Languages and Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 718.
