Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: Half Price Books Inc., Dallas, TX, USA
paperback. Zustand: 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!
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 15,80
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 368.
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: Bill & Ben Books, Faringdon, Vereinigtes Königreich
EUR 14,28
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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.
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: Solr Books, Lincolnwood, IL, USA
Zustand: new.
Paperback. Zustand: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: Basi6 International, Irving, TX, USA
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: 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.
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: ALLBOOKS1, Direk, SA, Australien
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: California Books, Miami, FL, USA
Zustand: New.
Zustand: New.
Zustand: New.
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642214363 ISBN 13: 9783642214363
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Paperback. Zustand: 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.
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 50,39
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521886554 ISBN 13: 9780521886550
Anbieter: StainesBook, Weybridge, SURRE, Vereinigtes Königreich
EUR 30,55
Anzahl: 1 verfügbar
In den Warenkorb
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,93
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,71
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,71
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 57,28
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,88
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,88
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521886554 ISBN 13: 9780521886550
Anbieter: ALLBOOKS1, Direk, SA, Australien
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 66,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 70,17
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock.
Zustand: New. pp. 718.