Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Vorlesungen Uber Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen

3.5/5 ( ratings)

Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bande auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitatstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einfuhrend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erortert, wie man Systemaufgaben analysiert und spezifiziert.

Language: German

Pages: 284

Format: Paperback

Publisher: Springer

Release: September 12, 1997

ISBN: 3540606556

ISBN 13: 9783540606550

Vorlesungen Uber Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen

Gerhard Goos

3.5/5 ( ratings)

Read Download

Language: German

Pages: 284

Format: Paperback

Publisher: Springer

Release: September 12, 1997

ISBN: 3540606556

ISBN 13: 9783540606550

More books from Gerhard Goos

Compiler Construction

2.5/5 ( ratings)

Vorlesungen über Informatik: Band 1: Grundlagen Und Funktionales Programmieren (E Xamen.Press) (German Edition)

3.3/5 ( ratings)

On the Shape of Mathematical Arguments

5/5 ( ratings)

Vorlesungen �ber Informatik: Paralleles Rechnen Und Nicht-Analytische L�sungsverfahren

Subscribe to Read | $0.00

Popular Genres

Subscribe to Read | $0.00

Vorlesungen Uber Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen

Vorlesungen Uber Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen

Vorlesungen Uber Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen

More books from Gerhard Goos

Compiler Construction

Vorlesungen über Informatik: Band 1: Grundlagen Und Funktionales Programmieren (E Xamen.Press) (German Edition)

On the Shape of Mathematical Arguments

Vorlesungen �ber Informatik: Paralleles Rechnen Und Nicht-Analytische L�sungsverfahren

Vorlesungen Uber Informatik: Band 2: Objektorientiertes Programmieren Und Algorithmen

Methodology and Tools in Knowledge-Based Systems: 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Iea-98-Aie, Benicassim, Castellon, Spain, June, 1998 Proceedings, Volume I

Intelligence in Services and Networks: Technology for Cooperative Competition: Fourth International Conference on Intelligence in Services and Networks: Is&n'97, Cernobbio, Italy, May 27-29, 1997, Proceedings

Advances in Cryptology - Auscrypt '90: International Conference on Cryptology Sydney, Australia, January 8-11, 1990

Vorlesungen über Informatik: Band 2: Objektorientiertes Programmieren und Algorithmen (eXamen.press)

Mathematical Foundations of Computer Science 1997: 22nd International Symposium, Mfcs'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings

Directions in Databases: 12th British National Conference on Databases, Bncod 12, Guildford, United Kingdom, July 6-8, 1994. Proceedings

Turing Machines with Sublogarithmic Space (Lecture Notes in Computer Science, 843)

Informatik 2: Eine einführende Übersicht (Springer-Lehrbuch) (German Edition)

The Morality of Business (Lecture Notes in Computer Science)

Human Computer Interaction: Vienna Conference Vchci &apos;93, Fin De Siecle, Vienna, Austria, September 20-22, 1993 : Proceedings (Lecture Notes in Computer Science)

Public-Key Cryptography: State of the Art and Future Directions : E.I.S.S. Workshop, Oberwolfach, Germany, July 3-6, 1991 Final Report (Lecture Notes in Computer Science)

The Programming Language ADA: Reference Manual. Proposed Standard Document United States Department of Defense

Algorithms and Computation: 5th International Symposium, Isaac '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings

Software Configuration Management: Icse'97 Scm-7 Workshop, Boston, Ma, USA, May 18-19, 1997 Proceedings

Computer Aided Verification: 7th International Conference, Cav &apos;95, Liege, Belgium, July 3 - 5, 1995. Proceedings

Human Computer Interaction: Vienna Conference Vchci '93, Fin De Siecle, Vienna, Austria, September 20-22, 1993 : Proceedings (Lecture Notes in Computer Science)

Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings