Importo totale (1 articolo articoli):
Destinazione ordine:
schulte wolfram (82 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (82)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (70)
- Come nuovo, Ottimo o Quasi ottimo (9)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (43)
- Non Print on Demand (42)
Lingua (4)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Half Price Books Inc., Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: 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#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 16,53
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 368.
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Bill & Ben Books, Faringdon, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 14,30
Spedizione EUR 11,70
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. 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 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.
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Solr Books, Lincolnwood, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: new.
-
Model-Based Software Testing And Analysis With C++
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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++
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 55,36
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Model-driven Engineering Languages and Systems : 17th International Conference, Models 2014, Valencia, Spain, September 283? October 4, 2014. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,96
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Libro 143 di 180: Graduate Texts in MathematicsDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,57
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
FM 2011: Formal Methods (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642214363 ISBN 13: 9783642214363
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
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 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#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 51,69
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Model-Based Software Testing and Analysis with C#
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521886554 ISBN 13: 9780521886550
Da: StainesBook, Weybridge, SURRE, Regno Unito
Valutazione del venditore 1 su 5 stelle
EUR 30,76
Spedizione EUR 34,75
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello -
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,16
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)
Libro 143 di 180: Graduate Texts in MathematicsDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,16
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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)
Libro 143 di 180: Graduate Texts in MathematicsDa: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,03
Spedizione EUR 17,94
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Libro 143 di 180: Graduate Texts in MathematicsDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,00
Spedizione EUR 17,37
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,38
Spedizione EUR 17,94
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Libro 145 di 180: Graduate Texts in MathematicsDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 73,91
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Model-driven Engineering Languages and Systems : 17th International Conference, Models 2014, Valencia, Spain, September 283? October 4, 2014. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,15
Spedizione EUR 17,37
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Urkundenbuch der Stadt Strassburg, Vol. 4: Zweite Halfte (Classic Reprint)
Da: Forgotten Books, London, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 19,28
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. 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 meticulously 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.
-
Urkundenbuch der Stadt Strassburg: Zweite Halfte (Classic Reprint)
Da: Forgotten Books, London, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 19,31
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. 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.
-
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Libro 145 di 180: Graduate Texts in MathematicsDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,19
Spedizione EUR 17,37
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Model-Based Software Testing and Analysis with C#
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 74,46
Spedizione EUR 14,48
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock.
-
Model-Driven Engineering Languages and Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 718.
-
Fm 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2011
ISBN 10: 3642214363 ISBN 13: 9783642214363
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,09
Spedizione EUR 14,48
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 464 pages. 9.75x6.25x1.00 inches. In Stock.
-
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283 October 4, 2014. Proceedings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 84,33
Spedizione EUR 14,48
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2014 edition. 716 pages. 9.30x6.20x1.80 inches. In Stock.
-
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Libro 143 di 180: Graduate Texts in MathematicsLingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 3319235338 ISBN 13: 9783319235332
EUR 53,49
Spedizione EUR 62,53
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. 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 state 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).
-
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Libro 145 di 180: Graduate Texts in MathematicsLingua: Inglese
Editore: Springer-Verlag New York Inc, 2015
ISBN 10: 3319235338 ISBN 13: 9783319235332
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,39
Spedizione EUR 40,54
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 332 pages. 9.00x6.00x0.75 inches. In Stock.
-
Urkundenbuch der Stadt Strassburg. Vierter Band, zweite Hälfte (einzeln): Stadtrechte und Aufzeichnungen über bischöflich-städtische und bischöfliche Ämter. Bearbeitet von Aloys Schulte und Georg Wolfram
Lingua: Francese
Editore: Strassburg: Karl J Trübner, 1888
Da: Antiquariat Dr. Lorenz Kristen, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 42,00
Spedizione EUR 30,02
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellobroschiert/ Taschenbuch. VI und 309 Seiten sowie 1 Blatt. Orig. Broschur (der vordere Umschlagdeckel lose und mit Fehlstellen (vgl. Foto), der hintere Umschlagdeckel nur noch in Resten beiliegend, sonst gutes und sauberes, unaufgeschnittenes Exemplar). 4°. Erste Ausgabe. [= Urkunden und Akten der Stadt Strassburg. Erste Abtheilung]. -------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------ -------------------------------------------------- BITTE BEACHTEN: Auf Grund der absurden und irrsinnig teuren staatlichen Regelungen für die Entsorgung der Versandpappen in den nachfolgenden Ländern, kann ich leider nicht mehr liefern nach: Österreich, Griechenland, Polen. Kunden in ÖSTERREICH können sich aber an die einheimische Post wenden, dort unter Alles Post Deutschland. --- PLEASE NOTE: Due to the absurd and insanely expensive government regulations for the disposal of shipping cartons in the following countries, I can unfortunately no longer deliver to: Austria, Greece, Poland. However, customers in AUSTRIA can contact their local post office, there under Alles Post Deutschland.
-
Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 283¿ October 4, 2014. Proceedings
Lingua: Inglese
Editore: Springer International Publishing, 2014
ISBN 10: 3319116525 ISBN 13: 9783319116525
EUR 53,49
Spedizione EUR 65,33
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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 carefully 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.
