Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

1. The logical basis for computer programming

   Autor*in: Manna, Zohar

   Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

   • Bibliographische Angaben
   • Export

   Export in Literaturverwaltung

   RIS-Format   BibTeX-Format

   Quelle:	Verbundkataloge
   Beteiligt:	Waldinger, Richard (Verfasser)
   Sprache:	Englisch
   Medientyp:	Buch (Monographie)
   RVK Klassifikation:	ST 125 ; ES 920
   Schlagworte:	Computers; Logica E Semantica De Programacao; Logica Matematica; Logica; Logique symbolique et mathématique; Programacao De Computadores; Programmation (Informatique); Programmeren (computers); Logik; Computer programming; Logic, Symbolic and mathematical; Programmierung; Mathematische Logik; Logik
   Bemerkung(en):	Einbänd. Ausg. (1993) u.d.T.: Manna, Zohar: The deductive foundataions of computer programming