Logic and algebra of specification : [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] / ed. by Friedrich L. Bauer ...

NATO Advanced Study Institute on Logic and Algebra of Specification ; (Marktoberdorf) : 1991.07.23-08.04

Marktoberdorf Summer School ; (Marktoberdorf) : 1991.07.23-08.04

Englisch

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

VII, 444 S.

Konferenzschrift (1991, Marktoberdorf)

Includes bibliographical references

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

3-540-55813-6

0-387-55813-6

*Logische Programmierung

*Programmierung / Algebraische Spezifikation

*Logische Programmierung

*Programmierung / Algebraische Spezifikation

*Computer -- Mathematics ; Logic, Symbolic and mathematical ; Computer science -- Mathematics

*Algebraische Spezifikation

Klassifikation der Library of Congress: QA76.9.M35

Dewey Dezimal-Klassifikation: 004/.01/5113 ; 005.131

Regensburger Verbund-Klassifikation: SD 1991: SA-SP Mathematik / SD Kongressberichte / Veranstaltungsjahr 1991

Regensburger Verbund-Klassifikation: ST 120: SQ-SU Informatik / ST Monografien / Grundlagen der Informatik

Regensburger Verbund-Klassifikation: SS 1991: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / Veranstaltungsjahr 1991

Regensburger Verbund-Klassifikation: ST 300: SQ-SU Informatik / ST Monografien / Allgemeines

Mathematics Subject Classification: *68Q65

Mathematics Subject Classification: 68N15

Mathematics Subject Classification: 68Q55

Mathematics Subject Classification: 68-06

http://digitale-objekte.hbz-nrw.de/webclient/DeliveryManager?pid=1795998&custom_att_2=simple_viewer [Logic and algebra of specification]

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

Potsdamer Straße

BIBTEX - ENDNOTE - RIS