Bert Didier (52 results)

Condition: Good. 476 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Condition: Fine. Très bon état - L'ouvrage qui n'a jamais été lu peut présenter de légères traces de stockage mais est du reste en très bon état. envoi rapide et soigné dans un emballage adapté depuis France. 15x23x2cm. 2008. Broché. 328 pages. Fine.

Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condition: New.

Paperback or Softback. Condition: New. Recent Trends in Algebraic Development Techniques: 14th International Workshop, Wadt '99, Chateau de Bonas, September 15-18, 1999 Selected Papers. Book.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New.

Hardcover. Condition: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2651. [xiii, 545 p. : ill. ; 24 cm]. …

Condition: New.

Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condition: New.

Condition: New.

Condition: New.

Condition: New. In English.

Condition: New. In English.

Condition: As New. Unread book in perfect condition.

Condition: New. In English.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Hardcover. Condition: Very Good. 2011 OUP hardcover edition. Light reading wear else very good condition. The unemployed are usually depicted as passive and politically apathetic individuals who are traumatized by their experience and broken in body and spirit. The seminal study of Marienthal's unemployed in the 1930s, based on pioneering methodology and rich empirical findings, helped to entrench this image as cross-disciplinary common sense. This book challenges this dominant view by revealing the wide transnational repertoires of protest and resistance that the unemployed have deployed from the early nineteenth century to the present. They have contested their situation in a discontinuous but recurrent battle for recognition, for rights to work or welfare, and for dignity. The case studies in this volume deal with contentious actions of the unemployed across different European countries, the United States, New Zealand, and Palestine. They highlight the diverse responses of the workless to their fate beyond the apathy habitually ascribed to them, from passive resistance and individual protest to organized large-scale protest marches and from protest in newspapers, books, or internet forums to agitation and direct action in the streets, benefit fraud, and legal challenges of administrative measures or government laws. Instead of following the traditional focus on Communist-led protest during the inter-war period, this volume accentuates the plurality of individuals and organizations that have tried to organize the unemployed over the past two centuries. Part I. Introduction 1. Beyond Marienthal: Understanding Movements of the Unemployed by Matt Perry and Matthias Reiss 2. Mobilizing the Unemployed: The Social Psychology of Movement Participation by Bert Klandermans Part II. Movements of the Unemployed in Nineteenth-Century Britain 3. The March of the Blanketeers: Tragic Failure or Pioneer of Unemployed Protest? by Margrit Schulte Beerbuhl 4. From Poor Relief to Politics: The Protest of the British Unemployed in the 1870s and 1880s by Matthias Reiss Part III. The Golden Age of Unemployed Movements: The Inter-War Years 5. 'Natural Love for a Good Thing': The Struggle of the Unemployed Workers' Movement for a Government Jobs Programme, 1931-1942 by Jeannette Gabriel 6. Explaining Unemployed Protest in the Ruhr at the End of the Weimar Republic by Alex Zukas 7. Violating the 'Rules of Hospitality': The Protests of Jobless Immigrants in Depression-Era France by Philip H. Slaby 8. Politicization of Unemployment in British-Ruled Palestine by David De Vries and Shani Bar-On Part IV. Beyond Collective Street Protest 9. Protesting Individuals: The French Unemployed in the 1930s by Michael Seidman 10. 'The Workers Are in the Mood to Fight the Act': Protest against the Means Test, 1931-1935 by Stephanie Ward 11. Unemployment without Protest: The Ironstone Mining Communities of East Cleveland in the Inter-war Period by Malcolm Chase Part V. Self-Representations of Movements of the Unemployed 12. Breaking the Silence: Rationale, Protest, and Identity in the Provincial Press of the Unemployed in France, 1931-1939 by Matt Perry 13. From Protest to Warning: Representations of the Unemployed in Victor Gollancz's Left Book Club, 1937-1945 by Antoine Capet 14. Radio Lorraine Coeur d'Acier, Longwy-France, 1979-1980: Reacting to the Threat of Unemployment by Ingrid Hayes Part VI. Recent Movements of the Unemployed 15. Fractious Factions: The Organized Unemployed and the Labour Movement in New Zealand, 1978-1990 by Cybele Locke 16. How Far beyond Marienthal? Unemployed Protest in Germany in the Internet Era by Deborah Vietor-Englander Part VII. Conclusion 17. The Mobilization of the Unemployed: A Recurrent but Relatively Invisible Phenomenon by Didier Chabanet and Jean Faniel.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Theories, Implementations, and Transformations.- Incremental Proof of the Producer/Consumer Property for the PCI Protocol.- Controlling Control Systems: An Application of Evolving Retrenchment.- Checking Z Data Refinements Using an Animation Tool.- Encoding Object-Z in Isabelle/HOL.- Characters + Mark-up = Z Lexis.- Extraction of Abstraction Invariants for Data Refinement.- An Approach to Combining B and Alloy.- Software Construction by Stepwise Feature Introduction.- The Semantics of Circus.- Handling Inconsistencies in Z Using Quasi-Classical Logic.- Loose Specification and Refinement in Z.- On Using Conditional Definitions in Formal Theories.- A Theory of Generalised Substitutions.- Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.- A Comparison of the BTT and TTF Test-Generation Methods.- A Formal Analysis of the CORBA Security Service.- Type Synthesis in B and the Translation of B to PVS.- 'Higher-Order' Mathematics in B.- ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries.- Generalised Substitution Language and Differentials.- Communicating B Machines.- Synchronized Parallel Composition of Event Systems in B.- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.- Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Topics.- A Type-Theoretic Memory Model for Verification of Sequential Java Programs.- From States to Histories.- Principles and Pragmatics of Subtyping in PVS.- Casl: Language, Methodology and Tools.- Extending Casl by Late Binding.- Towards an Evolutionary Formal Software-Development Using CASL.- Development of Parsing Tools for CASL Using Generic Language Technology.- Using CASL to Specify the Requirements and the Design: A Problem Specific Approach.- Subsorted Partial Higher-Order Logic as an Extension of CASL.- Specifying Real Numbers in CASL.- Foundations.- Specification Refinement with System F - The Higher-Order Case.- Guarded Algebras: Disguising Partiality so You Won't Know Whether Its There.- A General Completeness Result in Refinement.- An Institution of Hybrid Systems.- Realization of Probabilistic Automata: Categorical Approach.- Specifications in an Arbitrary Institution with Symbols.- A General Algebraic Framework for Studying Modular Systems.- Specification of Processes and Interactions.- History Preserving Bisimulation for Contextual Nets.- A Model for Interaction of Agents and Environments.- Algebra-Coalgebra Structures and Bialgebras.- A Uniform Model Theory for the Specification of Data and Process Types.- Other Topics.- Relating Abstract Datatypes and Z-Schemata.- Algebraic Specification of Operator-Based Multimedia Scenarios.- Higher-Order Logic and Theorem Proving for Structured Specifications.- Extraction of Structured Programs from Specification Proofs.- Towards a Verification Logic for Rewriting Logic.- The Rôle of Normalisation in Testing from Structured Algebraic Specifications.…

Condition: fine. Edition 2025. vendeur professionnel. envoi soigne en 24/48h. le livre peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques.

Condition: New. In English.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.…

Condition: New. pp. 568.