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...
Zur Ergebnisliste
    Datensatz exportieren als...
  • BibTeX
ZB 2005 : formal specification and developments in Z and B (Guildford, 13-15 April 2005)
Lecture notes in computer science, 2005
2005
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
ZB 2005 : formal specification and developments in Z and B (Guildford, 13-15 April 2005)
Ist Teil von
  • Lecture notes in computer science, 2005
Ort / Verlag
Berlin: Springer
Erscheinungsjahr
2005
Quelle
Alma/SFX Local Collection
Sprache
Englisch
Identifikatoren
ISSN: 0302-9743
eISSN: 1611-3349
Titel-ID: cdi_pascalfrancis_primary_16729564
Format
–
Schlagworte
Applied sciences, Computer science, control theory, systems, Exact sciences and technology, Software, Software engineering

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX