Martin Wirsing's Books

Adapting Proofs-as-Programs

The Curry--Howard Protocol

By: Iman Poernomo,John N. Crossley,Martin Wirsing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Adapting Proofs-as-Programs

The Curry--Howard Protocol

By: Iman Poernomo,John N. Crossley,Martin Wirsing

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

417

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0387281835

ISBN 13

9780387281834

Recent Trends in Algebraic Development Techniques

16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

By: Martin Wirsing,Dirk Pattinson

Write a review Read reviews Take a Quiz Solve Book Puzzle

Recent Trends in Algebraic Development Techniques

16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

By: Martin Wirsing,Dirk Pattinson

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

466

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540205373

ISBN 13

9783540205371

The Media, European Integration and the Rise of Euro-journalism, 1950s–1970s

By: Martin Herzer

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Media, European Integration and the Rise of Euro-journalism, 1950s–1970s

By: Martin Herzer

This book explains how the media helped to invent the European Union as the supranational polity that we know today. Against normative EU scholarship, it tells the story of the rise of the Euro-journalists – pro-European advocacy journalists – within the post-war Western European media. The Euro-journalists pioneered a journalism which symbolically magnified the technocratic European Community as the embodiment of Europe. Normative research on the media and European integration has focused on how the media might help to construct a democratic and legitimate European Union. In contrast, this book aims to deconstruct how journalists – as part of Western European elites – played a key role in elite European identity building campaigns.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

365

Publisher

Springer Nature

Published Date

ISBN 10

3030287785

ISBN 13

9783030287788

Semantic Integration of Heterogeneous Software Specifications

By: Martin Große-Rhode

Write a review Read reviews Take a Quiz Solve Book Puzzle

Semantic Integration of Heterogeneous Software Specifications

By: Martin Große-Rhode

The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

333

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3662098539

ISBN 13

9783662098530

Paul's Fundamental Immunology

By: Martin Flajnik

Write a review Read reviews Take a Quiz Solve Book Puzzle

Paul's Fundamental Immunology

By: Martin Flajnik

Selected as a Doody's Core Title for 2022! Defining the field of immunology for 40 years, Paul’s Fundamental Immunology continues to provide detailed, authoritative, up-to-date information that uniquely bridges the gap between basic immunology and the disease process. The fully revised 8th edition maintains the excellence established by Dr. William E. Paul, who passed away in 2015, and is now under new editorial leadership of Drs. Martin F. Flajnik, Nevil J. Singh, and Steven M. Holland. It’s an ideal reference and gold standard text for graduate students, post-doctoral fellows, basic and clinical immunologists, microbiologists and infectious disease physicians, and any physician treating diseases in which immunologic mechanisms play a role.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

3597

Publisher

Lippincott Williams & Wilkins

Published Date

ISBN 10

1975142527

ISBN 13

9781975142520

National Sovereignty and International Organizations

By: Martin Martinez

Write a review Read reviews Take a Quiz Solve Book Puzzle

National Sovereignty and International Organizations

By: Martin Martinez

This book deals with the question of national sovereignty and States' participation in International Organizations, whether traditional or supranational ones. Although there has been much discussion on the problems posed by the transference of sovereignty, this volume provides an original insight in that transfer of state sovereignty is approached as a dynamic process that can be divided into three different phases. Part one, called `the initial phase', focuses on the examination of the domestic legal basis for the transfer of state sovereignty. Part two, `the transfer phase', investigates how the process of transfer evolves within the core of two International Organizations: the United Nations and the European Communities. Part three, `the post-transfer phase', analyses the States' responses to the effects and consequences of the transfer of sovereignty.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

376

Publisher

Martinus Nijhoff Publishers

Published Date

ISBN 10

9004634681

ISBN 13

9789004634688

Mozart's Operas and National Politics

Canon Formation in Prague from 1791 to the Present

By: Martin Nedbal

Write a review Read reviews Take a Quiz Solve Book Puzzle

Mozart's Operas and National Politics

Canon Formation in Prague from 1791 to the Present

By: Martin Nedbal

As both an in-depth study of Mozart criticism and performance practice in Prague, and a history of how eighteenth-century opera was appropriated by later political movements and social groups, this book explores the reception of Mozart's operas in Prague between 1791 and the present and reveals the profound influence of politics on the construction of the Western musical canon. Tracing the links between performances of Mozart's operas and strategies that Bohemian musicians, critics, directors, musicologists, and politicians used to construct modern Czech and German identities, Nedbal explores the history of the canonization process from the perspective of a city that has often been regarded as peripheral to mainstream Western music history. Individual chapters focus on Czech and German adaptations of Mozart's operas for Prague's theaters, operatic criticism published in Prague's Czech and German journals, the work of Bohemian historians interpreting Mozart, and endeavours of cultural activists to construct monuments in recognition of the composer.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

307

Publisher

Cambridge University Press

Published Date

ISBN 10

1009257633

ISBN 13

9781009257633

COLOG-88

International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

By: Per Martin-Löf,Grigori Mints

Write a review Read reviews Take a Quiz Solve Book Puzzle

COLOG-88

International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

By: Per Martin-Löf,Grigori Mints

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

348

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540523359

ISBN 13

9783540523352

Coming of Age

Constructing and Controlling Youth in Munich, 1942-1973

By: Martin Kalb

Write a review Read reviews Take a Quiz Solve Book Puzzle

Coming of Age

Constructing and Controlling Youth in Munich, 1942-1973

By: Martin Kalb

In the lean and anxious years following World War II, Munich society became obsessed with the moral condition of its youth. Initially born of the economic and social disruption of the war years, a preoccupation with juvenile delinquency progressed into a full-blown panic over the hypothetical threat that young men and women posed to postwar stability. As Martin Kalb shows in this fascinating study, constructs like the rowdy young boy and the sexually deviant girl served as proxies for the diffuse fears of adult society, while allowing authorities ranging from local institutions to the U.S. military government to strengthen forms of social control.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

285

Publisher

Berghahn Books

Published Date

ISBN 10

178533154X

ISBN 13

9781785331541

Reason After Its Eclipse

On Late Critical Theory

By: Martin Jay

Write a review Read reviews Take a Quiz Solve Book Puzzle

Reason After Its Eclipse

On Late Critical Theory

By: Martin Jay

Tackles a question as old as Plato and still pressing today: What is reason, and what roles does and should it have in human endeavor? The eminent intellectual historian Martin Jay surveys Western ideas of reason, particularly in German philosophy from Kant to Habermas.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

266

Publisher

University of Wisconsin Pres

Published Date

ISBN 10

029930650X

ISBN 13

9780299306502

Nazi Palestine

The Plans for the Extermination of the Jews in Palestine

By: Klaus-Michael Mallmann,Martin Cüppers

Write a review Read reviews Take a Quiz Solve Book Puzzle

Nazi Palestine

The Plans for the Extermination of the Jews in Palestine

By: Klaus-Michael Mallmann,Martin Cüppers

Well documented factual account of a planned genocide.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

274

Publisher

Enigma Books

Published Date

ISBN 10

1929631936

ISBN 13

9781929631933

Green Delusions

By: Martin W. Lewis

Write a review Read reviews Take a Quiz Solve Book Puzzle

Green Delusions

By: Martin W. Lewis

Scholars, politicians, and activists worldwide are finally recognizing the severity of the global environmental crisis, yet serious threats to the environmental movement remain. Anti-environmentalists dismiss the very idea of a "crisis" as a mirage. Much less obvious, however, is the more subtle threat masquerading under the mantle of environmentalism itself. It is this threat that Green Delusions addresses. Writing from the standpoint of a committed environmentalist, Martin W. Lewis contends that many of the most devoted and strident "greens," those who propose a radical environmentalism, unwittingly espouse an ill-conceived doctrine that has devastating implications for the global ecosystem. In this book he distinguishes the main variants of eco-extremism, exposes the fallacies upon which such views ultimately flounder, and demonstrates that the policies advocated by their proponents would, if enacted, result in unequivocal ecological disaster. At once polemic and prescriptive, Green Delusions is an impassioned attempt to defend the environmental movement against extremist ideas that would lead to self-defeating political strategies.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

310

Publisher

Duke University Press

Published Date

ISBN 10

0822314746

ISBN 13

9780822314745

Enclose | Build

Walls, Facade, Roof

By: Eva Maria Herrmann,Martin Krammer,Jörg Sturm,Susanne Wartzeck

Write a review Read reviews Take a Quiz Solve Book Puzzle

Enclose | Build

Walls, Facade, Roof

By: Eva Maria Herrmann,Martin Krammer,Jörg Sturm,Susanne Wartzeck

The building shell is the interface with the outside world, it offers protection and at the same time represents its owners or occupants. But what are the criteria for choosing a specific shell? Why is a particular material used on a particular undercoat? The fifth volume of the SCALE series, Enclose | Build, is not about the curtain, the dressing of the facade that surrounds a building, but rather on a causal level about the exterior termination of a building, the wall, the facade, which can be made of various materials, surfaces, and achieves different design effects. It shows the conditions under which certain constructions can be employed and why; what criteria such as construction costs, issues of sustainability, of energy efficiency, of assembly or of insulation or protection against moisture can also influence the choice of a system. In addition to classical constructions, Enclose | Build offers a look at future developments. How will the facade evolve as an interface for information? What do viable concepts for environmentally active, energy-efficient building shells look like? Enclose | Build is an indispensable tool for every architect and planner.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

176

Publisher

Birkhäuser

Published Date

ISBN 10

3035603367

ISBN 13

9783035603361

Attribute Grammars

Definitions, Systems and Bibliography

By: Pierre Deransart,Martin Jourdan,Bernard Lorho

Write a review Read reviews Take a Quiz Solve Book Puzzle

Attribute Grammars

Definitions, Systems and Bibliography

By: Pierre Deransart,Martin Jourdan,Bernard Lorho

This book treats the problem of formulating models in mathematical programming, and thereafter solving the resulting model. Particular emphasis is placed on the interaction between the two. The topic is viewed from different angles, namely linear programming (Walter Murray), integer programming (Ellis Johnson), network flows (John Mulvey), and stochastic programming (Roger J-B Wets). The book will be very useful for any mathematics programmer or operations researcher who works in the field of real-world modelling. The book is an important part of any university course in modelling, particularly in operations research, economics and business. The book also contains an article on the origins of mathematical programming (Alexander Rinnooy Kan). This is important reading for anyone interested in the history of the field.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

248

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540500561

ISBN 13

9783540500568

Classical and Quantum Dynamics

From Classical Paths to Path Integrals

By: Walter Dittrich,Martin Reuter

Write a review Read reviews Take a Quiz Solve Book Puzzle

Classical and Quantum Dynamics

From Classical Paths to Path Integrals

By: Walter Dittrich,Martin Reuter

Physics students who want to become familiar with advanced computational strategies in classical and quantum dynamics will find here a detailed treatment many worked examples. This new edition has been revised and enlarged with chapters on the action principle in classical electrodynamics, on the functional derivative approach, and on computing traces.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

800

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540420665

ISBN 13

9783540420668

Attribute Grammars and Their Applications

International Conference, Paris, France, September 19-21, 1990

By: Pierre Deransart,Martin Jourdan

Write a review Read reviews Take a Quiz Solve Book Puzzle

Attribute Grammars and Their Applications

International Conference, Paris, France, September 19-21, 1990

By: Pierre Deransart,Martin Jourdan

Proceedings

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

374

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540531017

ISBN 13

9783540531012

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

By: Martin Wirsing,Maurice Nivat

Write a review Read reviews Take a Quiz Solve Book Puzzle

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

By: Martin Wirsing,Maurice Nivat

Content Description #Includes bibliographical references and index.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

660

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354061463X

ISBN 13

9783540614630

Systematic Political Geography

By: Martin Ira Glassner,Harm J. de Blij

Write a review Read reviews Take a Quiz Solve Book Puzzle

Systematic Political Geography

By: Martin Ira Glassner,Harm J. de Blij

The fourth edition of this widely recognized text has been thoroughly updated and includes expanded chapters on Antarctica and outer space as well as new chapters on the geography of elections and the geography of war and peace. Also new to this edition is a chapter devoted to outlaws and merchants of death which covers piracy, drug trafficking, the arms trade, and terrorism. Other additions include coverage of international economic sanctions, transnational corporations, refugees, and pollution across international boundaries. The last chapter contains a number of new suggested topics for further study. Vastly expanded sections of references after each chapter constitute the largest bibliography of political geography available. Also contains 32 new photographs and numerous charts and graphs.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

644

Publisher

Wiley

Published Date

ISBN 10

0471635839

ISBN 13

9780471635833

Rigorous Software Engineering for Service-Oriented Systems

Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

By: Martin Wirsing,Matthias Hölzl

Write a review Read reviews Take a Quiz Solve Book Puzzle

Rigorous Software Engineering for Service-Oriented Systems

Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

By: Martin Wirsing,Matthias Hölzl

Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical benefits of this approach. Furthermore it raises the standard for reliability, security, and performance for IT providers, system integrators, and software developers. This book documents the main results of Sensoria, an Integrated Project funded by the European Commission in the period 2005-2010. The book presents, as Sensoria's essence, a novel, coherent, and comprehensive approach to the design, formal analysis, automated deployment, and reengineering of service-oriented applications. Following a motivating introduction, the 32 chapters are organized in the following topical parts: modeling in service-oriented architectures; calculi for service-oriented computing; negotiation, planning, and reconfiguration; qualitative analysis techniques for SOC; quantitative analysis techniques for SOC; model-driven development and reverse engineering for service-oriented systems; and case studies and patterns.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

747

Publisher

Springer

Published Date

ISBN 10

3642204015

ISBN 13

9783642204012

Adapting Proofs-as-Programs

The Curry--Howard Protocol

By: Iman Poernomo,John N. Crossley,Martin Wirsing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Adapting Proofs-as-Programs

The Curry--Howard Protocol

By: Iman Poernomo,John N. Crossley,Martin Wirsing

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

417

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0387281835

ISBN 13

9780387281834

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

By: Martin Wirsing,Maurice Nivat

Write a review Read reviews Take a Quiz Solve Book Puzzle

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

By: Martin Wirsing,Maurice Nivat

Content Description #Includes bibliographical references and index.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

660

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354061463X

ISBN 13

9783540614630

Radical Innovations of Software and Systems Engineering in the Future

9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

By: Martin Wirsing,Alexander Knapp,Simonetta Balsamo

Write a review Read reviews Take a Quiz Solve Book Puzzle

Radical Innovations of Software and Systems Engineering in the Future

9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

By: Martin Wirsing,Alexander Knapp,Simonetta Balsamo

This volume contains the papers from the workshop “Radical Innovations of Software and Systems Engineering in the Future.” This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in?uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de?ciencies of these new approaches: – there is no proof and no evidence that software productivity has increased with the new methods; – UML has no clean scienti?c foundations, which inhibits the construction of powerful analysis and development tools; – support for mobile distributed system development is missing; – formanyapplications,object-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

359

Publisher

Springer

Published Date

ISBN 10

3540211799

ISBN 13

9783540211792

Trustworthy Global Computing

5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

By: Martin Wirsing,Martin Hofmann,Axel Rauschmayer

Write a review Read reviews Take a Quiz Solve Book Puzzle

Trustworthy Global Computing

5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

By: Martin Wirsing,Martin Hofmann,Axel Rauschmayer

Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the ?fth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010)thatwasheldinMunich,Germany,February24-26,2010.TheSymposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

389

Publisher

Springer

Published Date

ISBN 10

3642156401

ISBN 13

9783642156403

STACS 88

5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings

By: Robert Cori,Martin Wirsing

Write a review Read reviews Take a Quiz Solve Book Puzzle

STACS 88

5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings

By: Robert Cori,Martin Wirsing

This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

420

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540188347

ISBN 13

9783540188346

Programming Language Implementation and Logic Programming

3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

By: Jan Małuszyński,Martin Wirsing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Programming Language Implementation and Logic Programming

3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

By: Jan Małuszyński,Martin Wirsing

This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

452

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540544445

ISBN 13

9783540544449

Recent Trends in Algebraic Development Techniques

16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

By: Martin Wirsing,Dirk Pattinson

Write a review Read reviews Take a Quiz Solve Book Puzzle

Recent Trends in Algebraic Development Techniques

16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

By: Martin Wirsing,Dirk Pattinson

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

466

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540205373

ISBN 13

9783540205371

Book's by Martin Wirsing

Username

Password

Password again

Birthday

Email