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       Advanced formal verification 1. Person/Familie Drechsler, Rolf [Hrsg.] Titel Advanced formal verification Verantw.-ang. ed. by Rolf Drechsler Verlagsort Boston [u.a.] Verlag Kluwer Academic Publishers E-Jahr 2004 Umfangsangabe XXV, 249 S. Anm. z. Erscheinungsverm. 2004 ISBN 1-402-07721-1 Notation 68Q60 Notation 68M99 Notation 94C99 Bestand 1 Sign-Info 68Q60 Dre

• 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