Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
The Z notation : a reference manual
Prentice Hall international series in computer science
2. ed, 1992
Signatur: TXU4851(2)
    Datensatz exportieren als...
  • BibTeX
Using Z : specification, refinement, and proof
Prentice Hall international series in computer science
[Repr.], Digital printing, 2004
Signatur: TXU10849
    Datensatz exportieren als...
  • BibTeX
Understanding Z : a specification language and its formal semantics
Cambridge tracts in theoretical computer science : 3 (Alle Bände)
1988
Signatur: TXU2833
    Datensatz exportieren als...
  • BibTeX
Refinement in Z and Object-Z : foundations and advanced applications
Formal approaches to computing and information technology
2001
Signatur: TXU10912
1 – 4 von 4
Suche als RSS-Feed
Aktive Filter
SchlagwortC++
SchlagwortZ
Suchergebnisse filtern
Filter anzeigen
Art des Mediums
Autor / Autorin
Erscheinungsform
Schlagwort
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
Art des Inhalts