X

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
Medientyp
Sprache
Region
Bibliothek
Erscheinungszeitraum
Person/Organisation
Fachgebiete(RVK)
Schlagwörter
Zugriff
  • 1
    Online-Ressource
    Online-Ressource
    Formal Specification Using Z (1991)
    London : Macmillan Education UK
    Details
    UID:
    b3kat_BV045187682
    Umfang: 1 Online-Ressource (XI, 164 p)
    ISBN: 9781349121441
    Serie: Computer Science Series
    Inhalt: Covers the main areas of formal specification in Z at an introductory level. The explanations of the mathematics of Z are interleaved with the development of an example specification. Exercises are included throughout and sample solutions are provided
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9780333544082
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9781349121458
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    ST 260
    Schlagwort(e): Programmiersprache
    DOI: 10.1007/978-1-349-12144-1
    URL: Volltext  (URL des Erstveröffentlichers)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    BTU Cottbus
Nichts oder nicht das Richtige gefunden? Für eine Suche/Fernleihbestellung aus dem Ausland nutzen Sie das Suche-Set "KOBV-International" im alten KOBV-Portal.
Meinten Sie 9781349121014?
Meinten Sie 9781349121144?
Meinten Sie 9781349121151?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz