Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85) ; edited by Hartmut Ehrig [and others].
Contributor(s): Ehrig, HartmutMaterial type: TextSeries: SerienbezeichnungLecture notes in computer science: 185.Publisher: Berlin ; New York : Springer-Verlag, ©1985Description: 1 online resource (xiii, 418 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540393023; 3540393021Subject(s): International Joint Conference on Theory and Practice of Software Development (1985 : Berlin, Germany). Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Mar. 25-29, 1985 -- v. 1 | Computer software -- Development -- Mathematics -- Congresses | Trees (Graph theory) -- Congresses | Algebra -- Congresses | Computer programming -- Congresses | Algebra | Computer programming | Trees (Graph theory)Genre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Mathematical foundations of software development.DDC classification: 001.64/2 s LOC classification: QA76.76.D47 | I57 1985 vol. 1Online resources: Click here to access online Action note: digitized 2010 committed to preserve
|Item type||Current location||Collection||Call number||Status||Date due||Barcode||Item holds|
Includes bibliographical references and index.
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Print version record.