Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Formal techniques for networked and distributed systems - FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27 - 29, 2007 ; proceedings John Derrick; Jüri Vain (eds.) von Derrick, John [Hrsg.] Vain, Jüri [oth] FORTE 27 2007 Tallinn [oth] Reihen: ; 457400 \| Lecture notes in computer science ; 4574 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12079162 Verlag: Berlin Heidelberg [u.a.] Springer 2007 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Cover 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 4574. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Abstract state machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 ; proceedings John Derrick ... (eds.) von Derrick, John [Hrsg.] ABZ 3. 2012 Pisa [oth] Reihen: ; 731600 \| Lecture notes in computer science ; 7316 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86105486 Verlag: Berlin Heidelberg Springer 2012 Online-Ressourcen: Verlagsangaben Inhaltsverzeichnis Inhaltstext Cover 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 7316. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha