Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Half Price Books Inc., Dallas, TX, U.S.A.
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!
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Majestic Books, Hounslow, Regno Unito
EUR 15,15
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 368.
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Bill & Ben Books, Faringdon, Regno Unito
EUR 14,20
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.
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Solr Books, Lincolnwood, IL, U.S.A.
Condizione: new.
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Basi6 International, Irving, TX, U.S.A.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
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.
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: California Books, Miami, FL, U.S.A.
EUR 52,06
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 52,82
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 51,66
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 53,47
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 52,31
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 60,13
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 50,10
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: California Books, Miami, FL, U.S.A.
EUR 64,20
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 64,20
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
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.
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.
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521886554 ISBN 13: 9780521886550
Da: StainesBook, Weybridge, SURRE, Regno Unito
EUR 30,37
Quantità: 1 disponibili
Aggiungi al carrello
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 58,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 58,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,60
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,95
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 58,36
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 58,36
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 66,16
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New. pp. 718.
EUR 69,81
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2011
ISBN 10: 3642214363 ISBN 13: 9783642214363
Da: Revaluation Books, Exeter, Regno Unito
EUR 80,04
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 464 pages. 9.75x6.25x1.00 inches. In Stock.
Da: Revaluation Books, Exeter, Regno Unito
EUR 83,24
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2014 edition. 716 pages. 9.30x6.20x1.80 inches. In Stock.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 101,43
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.