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) / by Hartmut Ehrig, Christiane Floyd, Maurice Nivat

By:

Ehrig, Hartmut [aut]

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 186Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Description: Online-RessourceISBN:

9783540393078

Subject(s):

Genre/Form:

Konferenzschrift -- 1985 -- Berlin, West

Additional physical formats: 9783540151999 | Buchausg. u.d.T.: Formal methods and software development. Berlin : Springer, 1985. XIV, 455 S.DDC classification:

005.1 23

RVK: RVK: SS 4800DOI: DOI: 10.1007/3-540-15199-0Online resources:

PPN: PPN: 1649202741Package identifier: Produktsigel: ZDB-1-SLN | ZDB-2-LNC | ZDB-2-SCS

Holdings ( 0 )

No physical items for this record

Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)