Zuse Institute Berlin (ZIB) Takustraße 7 14195 Berlin Deutschland Phone: +49 30 84185-100 Fax: +49 30 84185-125 E-Mail: info@zib.de Internet: http://www.zib.de

Katalog der ZIB-Bibliothek | Hilfe   Korb   RSS | Suchen Einstellungen Feedback Ergebnisliste Indexsuche Suchverlauf Anmelden

Titelsatz In den Korb Verfassen Sie eine Notiz zum Korbeintrag    |  Speichern/Senden Speichern/Senden   Titel werden editiert und zum Download bereitgestellt. Zum Versenden bitte E-Mail-Adresse angeben. Satzformat Vollformat Kartenformat Kurzlistenformat RIS-Format (Reference Manager) Kodierung UTF-8 ISO Latin-1 Betreff E-Mail Überschrift/ Anschreiben   oder

Anzeigeformat Standard  |  Feldnummern  |  Katalogkarte

Satz 1 von 1       Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development 1. Person/Familie Moriconi, Mark [Hrsg.] 1. Körperschaft ACM Titel Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development Verlagsort New York, NY Verlag ACM HT 1. Reihe u. Zähl. SIGSOFT Software Engineering Notes ; Vol. 15 Notation Zsch

• Klicken Sie auf eine unterstrichene Feldbezeichnung, um zur Indexliste zu kommen.
• Klicken Sie auf Bestand, um zur Bestandsliste zu gelangen und ggf. zu bestellen.
• Klicken Sie auf einen unterstrichenen Feldinhalt, um verwandte Titel zu sehen.
• Klicken Sie auf den Pfeil, um verknüpfte Sätze aufzurufen.

© 2021 Ex Libris (Deutschland) GmbH