Ihre Suche erzielte 4 Treffer.

Ergebnisse
	1.	Formal methods for industrial applications specifying and programming the steam boiler control Jean-Raymond Abrial ... (ed.) von Abrial, Jean-Raymond [Hrsg.] Reihen: ; 116500 \| Lecture notes in computer science ; 1165 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1996 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) OD 2310, ... Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Methods for semantics and specification Jean-Raymond Abrial ... (ed.) von Abrial, Jean-Raymond [Hrsg.] Internationales Begegnungs- und Forschungszentrum für Informatik [oth] Reihen: ; 117 \| Dagstuhl-Seminar-Report ; 117 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1995 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis kostenfrei Inhaltsverzeichnis 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) Wadern, Dagstuhl IBFI SR 117. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Rigorous methods for software construction and analysis essays dedicated to Egon Börger on the occasion of his 60th birthday Jean-Raymond Abrial; Uwe Glässer (eds.) von Abrial, Jean-Raymond [Hrsg.] Börger, Egon, 1946- [GefeierteR] Glässer, Uwe [oth] Reihen: ; 5115 \| Lecture notes in computer science ; 5115 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12821952 Verlag: Berlin Heidelberg [u.a.] Springer 2009 Online-Ressourcen: Inhaltsverzeichnis 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) LNCS 5115. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	The B-book assigning programs to meanings J.-R. Abrial von Abrial, Jean-Raymond [aut] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1996 Weitere Titel: B-book Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis 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) ABR j 1996:2 1.Ex. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1). Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha