Order Total (1 Item Items):
Shipping Destination:
Schulte Wolfram (87 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (87)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (72)
- As New, Fine or Near Fine (9)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (43)
- Not Print on Demand (55)
Language (4)
Free Shipping
Seller Location
Seller Rating
-
Model-Based Software Testing and Analysis with C#
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
paperback. Condition: 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#
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Condition: new.
-
Model - Based Software Testing and Analysis with C#
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Condition: New. pp. 368.
-
Model-Based Software Testing and Analysis with C#
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Paperback. Condition: 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.
-
Paperback. Condition: 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++
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Condition: 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++
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Condition: 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#
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Brand 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#
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Condition: New.
-
-
-
-
-
-
Condition: As New. Unread book in perfect condition.
-
Model-Based Software Testing and Analysis with C#
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 42.31
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
FM 2011: Formal Methods (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642214363 ISBN 13: 9783642214363
Paperback. Condition: 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#
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521886554 ISBN 13: 9780521886550
-
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)
Book 143 of 180: Graduate Texts in MathematicsSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Model-driven Engineering Languages and Systems : 17th International Conference, Models 2014, Valencia, Spain, September 283? October 4, 2014. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Book 143 of 180: Graduate Texts in MathematicsSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Model-Based Software Testing and Analysis with C#
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521886554 ISBN 13: 9780521886550
Brand 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
Book 143 of 180: Graduate Texts in MathematicsSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock.
-
Model-Driven Engineering Languages and Systems
Language: English
Published by Springer International Publishing AG, 2014
ISBN 10: 3319116525 ISBN 13: 9783319116525
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Editor(s): Dingel, Juergen; Schulte, Wolfram; Ramos, Isidro; Abrahao, Silvia; Insfran, Emilio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 716 pages, 227 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYD; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 37. Weight in Grams: 1080. . 2014. Paperback. . . . .
