Schulte wolfram (95 résultats)
- Autres images
Model-Based Software Testing and Analysis with C#
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
- Couverture souple
Vendeur : Bill & Ben Books, Faringdon, Royaume-UniBill & Ben Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 14,41
EUR 11,79 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : 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 thorou…gh, 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.
- Autres images
Model-Based Software Testing and Analysis with C#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Couverture souple
Vendeur : Solr Books, Lincolnwood, IL, Etats-UnisSolr Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 25,13
EUR 7,01 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : new.
Model-Based Software Testing And Analysis With C++
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Couverture souple
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 46,38
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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++
Wolfram Schulte , Colin Campbell, Margus Veanes,Jonathan Jacky,
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 46,38
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 48,09
EUR 7,58 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Used. pp. 368.
Model-Based Software Testing and Analysis with C#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 56,99
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Autres images
Model-driven Engineering Languages and Systems : 17th International Conference, Models 2014, Valencia, Spain, September 283? October 4, 2014. Proceedings
Dingel, Juergen (EDT); Schulte, Wolfram (EDT); Ramos, Isidro (EDT); Abrahao, Silvia (EDT); Insfran, Emilio (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 54,80
EUR 2,32 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 61,51
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Autres images
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Beklemishev, Lev D. (EDT); Blass, Andreas (EDT); Dershowitz, Nachum (EDT); Finkbeiner, Bernd (EDT); Schulte, Wolfram (EDT)
Langue : anglais
Edité par Springer, 2015
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 59,44
EUR 2,32 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Autres images
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Beklemishev, Lev D. (EDT); Blass, Andreas (EDT); Dershowitz, Nachum (EDT); Finkbeiner, Bernd (EDT); Schulte, Wolfram (EDT)
Langue : anglais
Edité par Springer, 2015
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 61,53
EUR 2,32 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Model-Based Software Testing and Analysis with C#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 52,45
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- Couverture souple
Vendeur : HPB-Emerald, Dallas, TX, Etats-UnisHPB-Emerald
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 63,31
EUR 3,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : 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.
- Autres images
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 64,60
EUR 2,32 expéditionExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Etat : New.
Langue : anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
- Couverture souple
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 66,99
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : 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 ar…e 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.
- Autres images
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 64,75
EUR 2,32 expéditionExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Etat : As New. Unread book in perfect condition.
Model-Based Software Testing and Analysis with C#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Couverture rigide
Vendeur : StainesBook, Weybridge, SURRE, Royaume-UniStainesBook
Contacter le vendeurVendeur avec une évaluation de 1 étoilesEtat: Neuf
EUR 31,66
EUR 35,01 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 61,05
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Springer, 2015
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 61,05
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : 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)
Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Langue : anglais
Edité par Springer 2015-08-27, 2015
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,46
EUR 18,08 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Paperback. Etat : 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)
Juergen Dingel, Emilio Insfran, Wolfram Schulte, Isidro Ramos, Silvia Abrahao
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,81
EUR 18,08 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Paperback. Etat : New.
- Autres images
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Beklemishev, Lev D. (EDT); Blass, Andreas (EDT); Dershowitz, Nachum (EDT); Finkbeiner, Bernd (EDT); Schulte, Wolfram (EDT)
Langue : anglais
Edité par Springer, 2015
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,44
EUR 17,50 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Autres images
Model-driven Engineering Languages and Systems : 17th International Conference, Models 2014, Valencia, Spain, September 283? October 4, 2014. Proceedings
Dingel, Juergen (EDT); Schulte, Wolfram (EDT); Ramos, Isidro (EDT); Abrahao, Silvia (EDT); Insfran, Emilio (EDT)
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,79
EUR 17,50 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Autres images
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Beklemishev, Lev D. (EDT); Blass, Andreas (EDT); Dershowitz, Nachum (EDT); Finkbeiner, Bernd (EDT); Schulte, Wolfram (EDT)
Langue : anglais
Edité par Springer, 2015
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 67,14
EUR 17,50 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Autres images
- Couverture souple
- impression à la demande
Vendeur : Forgotten Books, London, Royaume-UniForgotten Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 19,85
Frais de port gratuitsExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback. Etat : New. Print on Demand. This book presents a meticulous study of regulations and statutes shaping the lives of Strasbourg citizens in the early 14th century. It compiles and analyzes various legal documents, offering insights into medieval urban governance and the complexities of daily life. The author meticulous…ly examines the evolution of laws, their enforcement, and the intricate relationship between the city's inhabitants and their governing body. This in-depth exploration unveils the foundations of a society in transition, grappling with the challenges of urbanization and the interplay of individual rights and collective responsibilities. The book's detailed analysis and comprehensive scope make it an invaluable resource for anyone interested in understanding the legal framework and social dynamics of medieval cities. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
- Couverture souple
- impression à la demande
Vendeur : Forgotten Books, London, Royaume-UniForgotten Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 19,88
Frais de port gratuitsExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback. Etat : New. Print on Demand. This book presents a fascinating window into the medieval legal system of Strasbourg, France, as it existed in the 13th and 14th centuries. The author has painstakingly compiled and analyzed a collection of legal statutes, ordinances, and judgments from this period, providing readers with…an unprecedented glimpse into the daily workings of justice in a thriving urban center. The book is divided into five parts, each focusing on a different aspect of medieval law. Part One examines the structure and organization of the Strasbourg court system, detailing the roles and responsibilities of judges, magistrates, and other officials. Part Two delves into the substantive law of the period, covering topics such as property rights, inheritance, marriage, and criminal offenses. Part Three explores the procedural aspects of litigation, including the rules of evidence, the conduct of trials, and the enforcement of judgments. Part Four examines the role of law in regulating the social and economic life of the city, including the regulation of trade, the provision of public services, and the maintenance of public order. Finally, Part Five provides an overview of the development of Strasbourg's legal system over time, tracing its origins in Roman and Germanic law and its evolution under the influence of the Holy Roman Empire. This book is a valuable resource for anyone interested in medieval law, legal history, or the history of Strasbourg. The author's clear and concise writing style makes the material accessible to both scholars and general readers alike. The book is also lavishly illustrated with reproductions of original documents, providing readers with a tangible connection to the past. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 87,73
EUR 3,50 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. pp. 718.
Model-Based Software Testing and Analysis with C#
Jonathan Jacky/ Margus Veanes/ Colin Campbell/ Wolfram Schulte
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 76,59
EUR 14,59 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Paperback. Etat : Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock.
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 83,39
EUR 14,59 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Brand New. 464 pages. 9.75x6.25x1.00 inches. In Stock.
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 86,71
EUR 14,59 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Paperback. Etat : Brand New. 2014 edition. 716 pages. 9.30x6.20x1.80 inches. In Stock.
- Autres images
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 65,33 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were car…efully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.
