> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Bericht Titel: The logic of event-B Beteiligte: Schmalz, Matthias [VerfasserIn] Erschienen: ETH, Department of Computer Science, 2011 Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 698 Sprache: Englisch DOI: https://doi.org/20.500.11850/69354; https://doi.org/10.3929/ethz-a-006889322 Schlagwörter: computer science ; SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES ; SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN ; SPEZIFIKATIONSSPRACHEN (COMPUTERSYSTEME) ; Data processing ; SPECIFICATION LANGUAGES (COMPUTER SYSTEMS) Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet