Vorlesungen über Informatik: Berechenbarkeit, formale Sprachen, Spezifikationen
Author:   Gerhard Goos
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   1997 ed.
ISBN:  

9783540606550


Pages:   284
Publication Date:   12 September 1997
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 $105.47 Quantity:  
Add to Cart

Share |

Vorlesungen über Informatik: Berechenbarkeit, formale Sprachen, Spezifikationen


Overview

Full Product Details

Author:   Gerhard Goos
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1997 ed.
Dimensions:   Width: 15.50cm , Height: 1.60cm , Length: 23.50cm
Weight:   0.940kg
ISBN:  

9783540606550


ISBN 10:   3540606556
Pages:   284
Publication Date:   12 September 1997
Audience:   General/trade ,  General
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

Vorwort.- Berechenbarkeit.- Komplexitatstheorie.- Formale Sprachen.- Programmtransformationen.- Spezifikationstechniken: Die Z Notation.- Ablaufspezifikationen, Synchronisierung und Kommunikation.- Literaturverzeichnis.- Programmverzeichnis.- Stichwortverzeichnis.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

SEPRG2025

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now