Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Model-Based Software Testing and Analysis with C#

Name: Model-Based Software Testing and Analysis with C#
Brand: Cambridge University Press
SKU: 02040535
Price: 54.89 EUR
Availability: InStock
Author: Jonathan JackyMargus VeanesColin CampbellWolfram Schulte
ISBN: 9780521687614

Jonathan JackyMargus VeanesColin CampbellWolfram Schulte

Language

English

Book Paperback

Libristo code: 02040535

Publishers Cambridge University Press, November 2007

This book teaches model-based analysis and model-based testing, with important new ways to write and... Full description

Libristo code: 02040535

133 b

54.89 €

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Der Wandrer Friedrich Wolters

Hardback

27.64 €

Lisboa song José Vidal-Valicourt

Paperback

16.64 €

Europaische Union und der Zerfall Jugoslawiens Göran Swistek

Paperback

40.06 €

Deutschland im Stillen Ozean Georg Wegener

Paperback

25.02 €

So gelingt Familie Eia Asen

Paperback

21.79 €

Ulric Le Valet De Ferme: Ou Comment Ulric Arrive A La Fortune (1854) Jeremias Gotthelf

Paperback

34.41 €

Possession Antonia Susan Byatt

Paperback

16.64 €

Vivre en harmonie avec son chat Enrico Ercole

Hardback

13.51 €

PATOLOGíAS CARDIOVASCULARES EN EL LABORATORIO MARíN HERRERA

Book

6.25 €

Guerilla Marketing und Virales Marketing Regina Kutzborski

Paperback

42.78 €

Les usages des modalités d'exécution de la peine privative de liberté Habouzit

Book

79.42 €

Theorie Und Moderne Shmuel N. Eisenstadt

Paperback

58.12 €

Das verbannte Wissen Alice Miller

Paperback

12.91 €

Schnittpunkt Mathematik 9. Ausgabe Rheinland-Pfalz Matthias Dorn

Sheet

16.04 €

Cvičebnice českého jazyka Aleš Leznar

Paperback

11.50 €

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.