Specification And Validation Methods

By E. Borger, Egon Börger

Computer Science Logic: 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990 : Proceedings

By Egon Börger, Workshop On Computer Science Logic (4th 1990 Heidelberg, Germany), Workshop On Computer Science Logic, Germany) Workshop On Computer Science Logic 1990 (Heidelberg, Stefan Arnborg, Andrzej Proskurowski, Detlef Seese (Auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (Eds.)

The Workshop Computer Science Logic '90 Was Held At The Max-planck-haus In Heidelberg, Germany, October 1-5, 1990. It Was The Fourth In A Series Of Worskhops, Following Csl '89 At The University Of...

Computer Science Logic

By H. Kleine Büning, Workshop On Computer Science Logic (6th 1992 San Miniato, Italy), G. Jäger, Egon Börger, Workshop On Computer Science Logic

"This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as A...

Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers

By Yuri Gurevich, Egon Börger, Workshop On Computer Science Logic (7th 1993 Swansea, Wales), Workshop On Computer Science Logic, Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (Auth.), Egon Börger, Yuri Gurevich, Karl Meinke (Eds.)

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 Septembe...

Berechenbarkeit Komplexität Logik

By Egon Börger

Endlich Liegt Der ,,klassiker Der Theoretischen Informatik, Der Studenten Und Forschern Ein Unentbehrliches Standardwerk Ist, In Neuer Auflage Vor.

SUBJEKTORIENTIERTES PROZESSMANAGEMENT

By Egon Börger, Christian Stary, Werner Schmidt, Albert Fleischmann, Stefan Obermeier, Albert Fleischmann & Werner J. Schmidt & Christian Stary & Stefan Obermeier & Egon Börger

Activities performed in organizations are coordinated according to organizational goals via communication between the people involved. In all known languages the sentences used to communicate are...

Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen Und Kalküle Unter Besonderer Berücksichtigung Ihrer Komplexität

By E. Borger, Bruno Horisberger, Egon Börger, Egon B\Xf6rger, Kenneth W. Tolo

Computation Theory And Logic (Lecture Notes In Computer Science)

By E. Borger, Barger, Egon Börger, Egon, Egon B??Rger, Bvrger, Brger

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum...

Proceedings Of The Logic Colloquium. Held In Aachen, July 18-23, 1983: Part 2: Computation And Proof Theory

By Wolfgang Thomas, B. Schinzel, E. Börger, M. M. Richter, Walter Oberschelp, Egon Börger, Thomas, W., Logic Colloquium, Michael M. Richter, W. Oberschelp, Brigitta Schinzel

Csl '89: 3rd Workshop On Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings

By Workshop On Computer Science Logic (3rd 1989 Kaiserslautern, Germany), Egon Börger, Michael M. Richter, Hans Kleine Büning, Workshop On Computer Science Logic, Hans Kleine B??Ning, Egon B??Rger

"This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide rang...