Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Teaching formal methods CoLog Net/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004; proceedings C. Neville Dean ... (eds.) von Dean, Neville [Hrsg.] Dean, C. Neville [oth] Boute, Raymond T [oth] Symposium on Teaching Formal Methods 1 2004 Gent [oth] Reihen: ; 3294 \| Lecture notes in computer science ; 3294 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11339786 Verlag: Berlin Heidelberg [u.a.] Springer 2004 Online-Ressourcen: Cover Einführung/Vorwort Inhaltsverzeichnis Publisher description Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3294. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Declarative systems proceedings of the IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 16 - 20 October, 1988 ed. by G. David ... von Dávid, Gábor [Hrsg.] Boute, Raymond T [oth] Shriver, Bruce D, 1940- [oth] International Federation for Information Processing Working Group System Concepts and Characteristics [oth] International Federal of Information Processing Working Group 10.1 [oth] Workshop on Concepts and Characteristics of Declarative Systems 1988 Budapest [oth] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam New York North-Holland 1990 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DSys 1988 1. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha