• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Programmiersprachen und Programmentwicklung :

پدید آورنده
herausgegeben von Hans Wössner.

موضوع
Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.

رده
QA76
.
7
H473
1982

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
3540112049
(Number (ISBN
9783540112044

NATIONAL BIBLIOGRAPHY NUMBER

Number
b558130

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Programmiersprachen und Programmentwicklung :
General Material Designation
[Book]
Other Title Information
7. Fachtagung, München, März 1982
First Statement of Responsibility
herausgegeben von Hans Wössner.

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1982

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
viii, 236 pages : illustrations ; 1982.

SERIES

Series Title
Informatik-Fachberichte, 53.

CONTENTS NOTE

Text of Note
Hauptvortrage.- A View of Current Concerns in Software Engineering.- Towards a Decentralised General-Purpose Computer.- Directions and Trends in FORTRAN (Abstract).- Findet Ada zuruck nach Europa ?.- Eingereichte Vortrage.- Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme.- Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation.- Ein System zur rechnerunterstutzten Spezifikation.- Projektorganisation nach dem Komponentenkonzept.- A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication.- From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications.- Generierung von Programmen fur kommerzielle Anwendungen auf Kleinrechnern.- LL- and LR-Attributed Grammars.- Static Semantic Checks of Global Variables in a Procedural Language.- A Formal Model of Instruction Set Semantics.- System- und Sprachentwicklung fur die Verfahrenstechnik auf der Basis abstrakter Maschinen.- Modularer Mustervergleich im Rahmen prozeduraler Programmierung.- A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions.- Anschriften der Autoren.

TOPICAL NAME USED AS SUBJECT

Computer programming -- Congresses.
Computer programming.
Programming languages (Electronic computers) -- Congresses.

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA76
.
7
Book number
H473
1982

PERSONAL NAME - PRIMARY RESPONSIBILITY

herausgegeben von Hans Wössner.

PERSONAL NAME - ALTERNATIVE RESPONSIBILITY

Gesellschaft für Informatik. Fachausschuss 2, Programmiersprachen. Fachtagung
H Wössner

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival