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. 
 - Berlin [a. o.] :   Springer-Verlag,  1985. 
 - XIV, 455 p.  :  graph. Darst 
 - Lecture notes in computer science ;   186 .
 -  186 Proceedings of the International Joint Conference on Theory and Practice of Software Development  TAPSOFT  1.1985,2 .
<br/><br/>Includes bibliographies. 
<br/><br/><label>ISBN: </label>3540151990 0387151990 
<br/><br/><label>Standard No.: </label>001159410 001468634 001290460 0084I034600 
<br/><br/><label>Nat. Bib. No.: </label>86A170584  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>860375617  DE-101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Softwareentwicklung
<br/><br/><label>Subjects--Index Terms: </label>საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები 
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Konferenzschrift--Berlin, West--1985
<br/><br/><label>Universal Decimal Class. No.: </label>004