Formal methods and software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 - 29, 1985 ; volume 2: Colloquium on Software Engineering (CSE) / edited by Hartmut Ehrig [and others] ; TAPSOFT, Colloquium on Software Engineering.
Material type: TextLanguage: English Series: Lecture notes in computer science ; 186 | ; 186 | Proceedings of the International Joint Conference on Theory and Practice of Software Development. TAPSOFT ; 1.1985,2Publisher: Berlin [a. o.] : Springer-Verlag, 1985Description: XIV, 455 p. : graph. DarstISBN:- 3540151990
- 0387151990
- 28
- 31.12
- 54.51
- mat
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 004 (Browse shelf(Opens below)) | 2E39700 | შესამოწმებელია | 2020-8389 |
Includes bibliographies.
There are no comments on this title.
Log in to your account to post a comment.