عنوان
پدید آورنده
موضوع
رده
QA76.6 E358 1993
QA76
.
6
E358
1993
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540480560
(Number (ISBN
9783540480563
NATIONAL BIBLIOGRAPHY NUMBER
Number
b566261
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal Methods in Programming and Their Applications :
General Material Designation
[Book]
Other Title Information
International Conference Academgorodok, Novosibirsk, Russia June 28 - July 2, 1993 Proceedings
First Statement of Responsibility
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer-Verlag : Springer e-books
Date of Publication, Distribution, etc.
1993
SERIES
Series Title
Lecture Notes in Computer Science, 735
GENERAL NOTES
Text of Note
L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
TOPICAL NAME USED AS SUBJECT
Computer science.
Logic design.
Software engineering.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
6
Book number
E358
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Dines Bjørner
Igor V Pottosin
Manfred Broy
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
