Algebraic methodology and software technology : 7th international conference ; proceedings / AMAST '98, Amazonia, Brazil, January 4 - 8, 1999. Armando Martín Haeberer (ed.)

International Conference on Algebraic Methodology and Software Technology, AMAST ; 7 (Amazonia, Brazil) : 1999.01.04-08

Englisch

Berlin ; Heidelberg [u.a.] : Springer, 1999

XI, 529 S. : graph. Darst. ; 24 cm

Konferenzschrift (1999, Amazonia, Brasilien)

Archivierung/Langzeitarchivierung gewährleistet (Rechtsgrundlage Pflichtexemplar Baden-Württemberg). BLB Karlsruhe

brosch. : DM 106.00

Online-Ausg.: Haeberer, Armando M.: Algebraic Methodology and Software Technology. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999. - Online-Ressource

3-540-65462-3 : DM 106.00 (brosch.)

Weitere Ausgaben: 978-3-540-49253-5 (Fernzugriff)

Literaturangaben

*Software Engineering / Abstrakter Datentyp / Algebraische Spezifikation / Logische Programmierung

*Software engineering -- Congresses ; Abstract data types (Computer science) -- Congresses

Klassifikation der Library of Congress: QA76.758

Dewey Dezimal-Klassifikation: 005.1

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / Lecture notes in computer science

Mathematics Subject Classification: *00B25

Mathematics Subject Classification: 68-06

Mathematics Subject Classification: 03-06

https://zbmath.org/?q=an:0906.00024 [Zentralblatt MATH]

Potsdamer Straße

BIBTEX - ENDNOTE - RIS