Formale Beschreibungsverfahren der Informatik: Ein Arbeitsbuch für die Praxis
Author:   Helmut Eirund ,  Bernd Müller ,  Gerlinde Schreiber
Publisher:   Springer Fachmedien Wiesbaden
Edition:   2000 ed.
ISBN:  

9783519026433


Pages:   124
Publication Date:   11 October 2000
Replaced By:   9783834819680
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $79.17 Quantity:  
Add to Cart

Share |

Formale Beschreibungsverfahren der Informatik: Ein Arbeitsbuch für die Praxis


Overview

Full Product Details

Author:   Helmut Eirund ,  Bernd Müller ,  Gerlinde Schreiber
Publisher:   Springer Fachmedien Wiesbaden
Imprint:   Vieweg+Teubner Verlag
Edition:   2000 ed.
Weight:   0.217kg
ISBN:  

9783519026433


ISBN 10:   3519026430
Pages:   124
Publication Date:   11 October 2000
Audience:   Professional and scholarly ,  Professional & Vocational
Replaced By:   9783834819680
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language:   German

Table of Contents

Mathematische Grundlagen: Aussagenlogik, Prädikatenlogik, Relationen - Automaten: Zustands-Automaten, Reguläre Sprachen - Algorithmen: Eigenschaften, Grafische Beschreibung, Berechenbarkeit von Problemen - Formale Sprachen: Syntax und Semantik, Grammatiken und ihre Darstellung - Nebenläufige Prozesse: Petri-Netze, Erweiterungen, Netzplantechnik

Reviews

Author Information

Professor Dr. Helmut Eirund, Hochschule Bremen Professor Dr. Bernd Müller, Hochschule Harz, Wernigerode Dr. Gerlinde Schreiber, Universität Hildesheim

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now