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       Building high integrity applications with SPARK 1. Person/Familie McCormick, John W. 2. Person/Familie Chapin, Peter C. Titel Building high integrity applications with SPARK Verantw.-ang. John W. McCormick ; Peter C. Chapin Verlagsort New York, NY Verlag Cambridge University Press E-Jahr 2015 E-Jahr 2015 Umfangsangabe XIV, 367 S. Weitere Angaben Includes bibliographical references and index ISBN 978-1-107-04073-1 hbk. ISBN 978-1-107-65684-0 pbk. Notation D.3.2 Bestand 1 Sign-Info D.3.2 A-M

• 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