Gurevich yuri (19 Ergebnisse)

Zustand: Good. 1994th Edition. 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. …

Zustand: 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.

Zustand: Nuevo. Este libro puede ser útil para los estudiantes de postgrado (maestría o doctorado) que se especializan en el campo de la física del estado sólido, estudiantes de la carrera en electrónica, investigadores e ingenieros que trabajan en las áreas de física de semiconductores, dispositivos electrónicos semiconductores, materiales semiconductores y microelectrónica, así como para especialistas en física y tecnología de películas delgadas. …

Zustand: Used. pp. 234 Illus.

Este libro puede ser útil para los estudiantes de posgrado (maestría o doctorado) que se especializan en el campo de la física del estado sólido, estudiantes de la carrera en electrónica, investigadores e ingenieros que trabajan en las áreas de física de semiconductores, dispositivos electrónicos semiconductores, materiales semiconductores y microelectrónica, así como para especialistas en física y tecnología de películas delgadas. páginas/pasges.…

Zustand: Used. pp. 234.

2010 edición Esta obra aborda el estudio de las celdas solares considerándolas un dispositivo electrónico. Primero, presenta en forma breve detalles históricos de las celdas solares, el desarrollo de sus aplicaciones y las estrategias utilizadas en diversos países. Después expone los conceptos físicos fundamentales que intervienen en el funcionamiento de los dispositivos eléctricos basados en semiconductores. Por último, trata la transformación de la energía luminosa en energía eléctrica a través de las celdas solares. páginas/pasges.…

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 1st edition. 379 pages. 9.00x6.00x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of discovering bugs. These two paths to software reliability seem to diverge from the very start: if you have proved your program correct, it is fruitless to comb it for bugs; and if you are testing it, that surely must be a sign that you have given up on any hope to prove its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using different kinds of techniques and tools. Dijkstra's famous pronouncement that tests can only show the presence of errors - in retrospect, perhaps one of the best advertisements one can imagine for testing, as if 'only' finding bugs were not already a momentous achievement! - didn't help make testing popular with provers, or proofs attractive to testers. And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking was one of the first signs that apparent contradiction may yield to complementarity; in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to offer.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl asser and G. del Castillo (on the topic Specifying Concurrent Systems with ASMs'), H. Russ and N. Shankar (on the topic A Tutorial Introduction to PVS'), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic Developing Domain Speci c Languages'). In response to the organization committee's call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.…

Taschenbuch. Zustand: Neu. Tests and Proofs | First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers | Bertrand Meyer (u. a.) | Taschenbuch | ix | Englisch | 2007 | Springer | EAN 9783540737698 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: 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.

Zustand: New. In English.

hardcover. Zustand: Gut. 416 Seiten; 9782881249358.3 Gewicht in Gramm: 1.

Zustand: New. Droste, Manfred Gurevich, YuriManfred Droste Universitiit Gesamthochschule, Essen Germany and Yuri Gurevich University of Michigan, Ann Arbor, USA.A conference on Semantics of Programming Languages and Model Theory was held at the International Con.

Hardcover. Zustand: Brand New. 1st edition. 416 pages. 9.50x6.50x1.00 inches. In Stock.