Schulte wolfram (94 resultados)
Model-Based Software Testing and Analysis with C#
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
- Tapa blanda
Librería: Bill & Ben Books, Faringdon, Reino UnidoBill & Ben Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 14,41
Envío por EUR 11,79Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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 th…orough, 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.
Model-Based Software Testing and Analysis with C#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Tapa blanda
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de AmericaSolr Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 24,75
Envío por EUR 6,90Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: new.
Model-Based Software Testing And Analysis With C++
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Tapa blanda
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 45,64
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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,
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 45,64
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Tapa blanda
Librería: HPB-Emerald, Dallas, TX, Estados Unidos de AmericaHPB-Emerald
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 49,89
Envío por EUR 3,24Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
paperback. Condición: 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.
- Tapa blanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 46,66
Envío por EUR 7,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used. pp. 368.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,68
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.
Model-Based Software Testing and Analysis with C#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 56,14
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
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)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,79
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, 2015
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,57
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,57
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 60,59
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
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)
Idioma: Inglés
Editorial: Springer, 2015
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,55
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
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)
Idioma: Inglés
Editorial: Springer, 2015
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 60,61
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,73
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
- Tapa blanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 65,99
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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 paper…s 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#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Tapa dura
Librería: StainesBook, Weybridge, SURRE, Reino UnidoStainesBook
Contactar con el vendedorVendedor de 1 estrellasCondición: Nuevo
EUR 31,19
Envío por EUR 35,01Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
Model-Based Software Testing and Analysis with C#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,92
Envío por EUR 13,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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
Idioma: Inglés
Editorial: Springer 2015-08-27, 2015
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,46
Envío por EUR 18,08Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: 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
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,81
Envío por EUR 18,08Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,06
Envío por EUR 13,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer, 2015
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,06
Envío por EUR 13,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
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)
Idioma: Inglés
Editorial: Springer, 2015
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,45
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
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)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,80
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Más imágenes- Tapa blanda
- Impresión bajo demanda
Librería: Forgotten Books, London, Reino UnidoForgotten Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 19,55
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: 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 meticu…lously 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.
- Tapa blanda
- Impresión bajo demanda
Librería: Forgotten Books, London, Reino UnidoForgotten Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 19,58
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: 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 w…ith 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.
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)
Idioma: Inglés
Editorial: Springer, 2015
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,13
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 86,75
Envío por EUR 3,45Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 718.
Model-Based Software Testing and Analysis with C#
Jonathan Jacky/ Margus Veanes/ Colin Campbell/ Wolfram Schulte
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 75,68
Envío por EUR 14,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 82,39
Envío por EUR 14,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 464 pages. 9.75x6.25x1.00 inches. In Stock.
