Schulte wolfram (92 risultati)
Model-Based Software Testing and Analysis with C#
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
- Brossura
Da: Bill & Ben Books, Faringdon, Regno UnitoBill & Ben Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 14,27
EUR 11,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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 t…horough, 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.
Zwischenschritte: Beiträge zu einer Morphologischen Psychologie, 6. Jahrgang 1/1987.
Arbeitskreis Morphologische Psychologie e.V.; Schulte, Armin ; Daniel, Peter ; Domke, Wolfram ; Fitzek, Herbert ; Orlovius, Anita
Editore: Selbstverlag Köln, Germany 1987
- Brossura
Da: Antiquariat >Im Autorenregister<, Köln, NRW, GermaniaAntiquariat >Im Autorenregister<
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 6,30
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Mit Anstreichungen. Mwst.: 7%. Wir verschicken keine Bestellbestätigung, Versand wenn möglich am Tag des Bestelleingangs. Gewicht in Gramm: 200 Oktav, 119 S. Deutschsprachige Ausgabe OBroschur. Deutlich Gebrauchter Zustand Halbjahresschrift.
Model-Based Software Testing and Analysis with C#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Brossura
Da: Solr Books, Lincolnwood, IL, U.S.A.Solr Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 24,86
EUR 6,94 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: new.
Model-Based Software Testing And Analysis With C++
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Brossura
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,79
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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,
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,79
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Brossura
Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 47,27
EUR 7,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. 368.
Model-Based Software Testing and Analysis with C#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 56,39
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 54,18
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,43
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 60,87
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
Lingua: Inglese
Editore: Springer 2015
Serie: Graduate Texts in Mathematics, Libro 145 di 180. Libro 145 di 180 - Graduate Texts in Mathematics
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 60,68
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 63,82
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin 2011
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,29
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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 pape…rs 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
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 51,96
EUR 13,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Model-Based Software Testing and Analysis with C#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Rilegato
Da: StainesBook, Weybridge, SURRE, Regno UnitoStainesBook
Contatta il venditoreVenditore con 1 stelleCondizione: Nuovo
EUR 31,33
EUR 34,68 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,47
EUR 13,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 2015
Serie: Graduate Texts in Mathematics, Libro 145 di 180. Libro 145 di 180 - Graduate Texts in Mathematics
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,47
EUR 13,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
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
- Brossura
Da: Chiron Media, Wallingford, , Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,26
EUR 17,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New.
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
Lingua: Inglese
Editore: Springer 2015-08-27 2015
Serie: Graduate Texts in Mathematics, Libro 145 di 180. Libro 145 di 180 - Graduate Texts in Mathematics
- Brossura
Da: Chiron Media, Wallingford, , Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,91
EUR 17,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: 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)
Lingua: Inglese
Editore: Springer 2015
Serie: Graduate Texts in Mathematics, Libro 145 di 180. Libro 145 di 180 - Graduate Texts in Mathematics
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,90
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,22
EUR 17,34 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
Lingua: Inglese
Editore: Springer 2015
Serie: Graduate Texts in Mathematics, Libro 145 di 180. Libro 145 di 180 - Graduate Texts in Mathematics
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,87
EUR 17,34 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
Lingua: Inglese
Editore: Springer 2015
Serie: Graduate Texts in Mathematics, Libro 145 di 180. Libro 145 di 180 - Graduate Texts in Mathematics
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 66,58
EUR 17,34 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Altre immagini- Brossura
- Print on Demand
Da: Forgotten Books, London, Regno UnitoForgotten Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 19,64
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: 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 metic…ulously 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.
- Brossura
- Print on Demand
Da: Forgotten Books, London, Regno UnitoForgotten Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 19,67
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: 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.
Model-Based Software Testing and Analysis with C#
Jonathan Jacky/ Margus Veanes/ Colin Campbell/ Wolfram Schulte
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,37
EUR 14,45 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 86,81
EUR 3,47 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 718.
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 82,04
EUR 14,45 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 464 pages. 9.75x6.25x1.00 inches. In Stock.
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,34
EUR 14,45 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2014 edition. 716 pages. 9.30x6.20x1.80 inches. In Stock.
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing 2015
Serie: Graduate Texts in Mathematics, Libro 145 di 180. Libro 145 di 180 - Graduate Texts in Mathematics
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 62,53 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract sta…te machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the 'Yurifest' symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).
